• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Journal of the Korean earth science society
• /
• v.26 no.1
• /
• pp.1-8
• /
• 2005

The purpose of this study is to identify the effect of Problem-Based Learning on Student's Creativity Ability in Middle School Science Class. The experimental group had Problem-Based Learning classes for six weeks and control group had traditional inquiry instruction for the same period. The results of this study presents that Problem-Based Learning is significantly effective for the improvement of creative skills test and creative tendencies. And PBL group student's had positive thinking for PBL. It's not easy to generalize these results because of many different variables. but the results suggests that teachers should make an effort to improve student's creativity applying Problem-Based Learning. And it's necessary to develop many kinds of problems and teacher's instruction method to enrich creativity in the process of Problem-Based Learning.

• Journal of Technology Innovation
• /
• v.20 no.1
• /
• pp.75-114
• /
• 2012

Transition from imitation based catch-up to new value creation based post catch-up innovation system is becoming the main issue for Korea. The notion of post catch-up research highlights the understanding of new patterns of innovation and the interrelationship among innovating agents within systems of innovation. More specifically, it is a context specific framework which accommodates discontinuum of technological innovation from the past and a creation of new organizational arrangement and institutions. Moreover, post catch-up approach follows the tradition of development, institutional and evolutionary theories context. This paper, therefore, explores whose focus is on the possibility of new theoretical development and new research agenda.

• The Korean Journal of Archival Studies
• /
• no.74
• /
• pp.79-117
• /
• 2022

In recent years, the term "art archives" has become increasingly popular, with the growing use of archives in exhibitions and program planning within domestic cultural and arts institutions. The need for art archives has been raised for reasons such as establishing the identity of art and culture and providing basic resources for academic research; however, they are now being recognized as a direct resource and service for users. Accordingly, research has also been conducted on the values, policies, and management practices of art archives in the archiving field. Nevertheless, there is a lack of research on management methodologies that can be applied to institutions that manage art archives. In particular, for the efficient use of art archives, classification, organization, and systematic management of descriptive areas must be preceded. But, There are different methods of managing art archives depending on the type of collection, the management institution, and the characteristics of the collection resources, which, in turn, makes it difficult to apply a consistent methodology for classification and description. Based on actual cases from The Art Archives, Seoul Museum of Art, this study examined the types and categories of arts, and presented the establishment of a classification system and archival description rules.

• Journal of the Korea Organic Resources Recycling Association
• /
• v.15 no.1
• /
• pp.134-142
• /
• 2007

In this study the physico-chemical characteristics of solid waste and the thermagravimetric analysis of waste investigated. It was found that the combustible component, water and ash were 61%, 32%, 7% respectively. The amount of combustible component was much higher than those of others. It was shown that the total carbon and hydrogen of the waste 94% and the high heating value was 2897,883(Kcal/kg). The thermagravimetric analysis showed that the weight loss of wastes occurred as temperature increased, and the rate was higher in the temperature range of $300^{\circ}C$ to $500^{\circ}C$.

• Korean Journal of Cognitive Science
• /
• v.10 no.2
• /
• pp.17-25
• /
• 1999

In developing a Korean database interfacing system exist many difficult problems which are not usually pointed out in developing an English version. Basically the difficulty in implementing deep level Korean database interfacing system lies in the fact that Korean has fewer syntactic restrictions. This means that while less burden will be placed on semantic analysis more burden will be placed on contextual processing for Korean when compared to English. This paper discusses various difficulties which we came across while developing a prototype Korean DB interfacing system (the Korean Core L Language Engine) especially focusing on issues of representing and resolving Quasi Logical Forms.

• Journal of the Speleological Society of Korea
• /
• no.75
• /
• pp.15-20
• /
• 2006

The purpose of this study is to clarify the fault structures in the Chukaryong Rift Valley. The Rift Valley has very significant meaning to interprete the development of Korean structural landforms. But till now the mechanism and processes of the formation of the Rift Valley are not clearly proved IMAGEM is very useful in this study. IMAGEM is developed by the Electromagnetic Instrument, Inc. and it covers $0.001{\sim}20,000Hz$. Form the fold survey data, it is certain that the faulted structures exist in the two points of the Rift Valley. But the Rift Valley is too long and braod to check the all evidences of the faulted structures.

• Journal of Convergence for Information Technology
• /
• v.10 no.11
• /
• pp.185-194
• /
• 2020

The emergence of post-human beings in the 4th Industrial Revolution era led to an epistemological shift in the need for reflection on new relationships with non-human beings, away from human-centered modern humanism. For this reflection, post-human sensibility to empathize and understand the surrounding world is required. In order to cultivate this sensibility, we analyzed the case of art works that can think about and experience the post-human era based on the criteria of 'animal-becoming', 'earth-becoming', and 'machine-being' presented by post-humanist researcher Bridotti. Since the work of art reflects the spirit of the era, we confirmed the positive aspect of the text that can reflect and experience the post-human era. This study is meaningful as a basic study by presenting art works that can be used in art education to improve post-human sensitivity.

• Journal of Korean Philosophical Society
• /
• v.143
• /
• pp.87-118
• /
• 2017

In this paper, I will show several theoretical nonconformities which can be found in P. Singer's concept of human beings. As we know, P. Singer is a well-known animal liberalist. On the one hand, Singer regards man as a subordinate being to nature and on the other, as a transcendent being. This is the first inconsistency of Singer's concept of man. His second inconsistency is related to his position on the power of reason. He believes that it is the product of evolution, and at the same time that it is a power to resist the blindness of evolution. Thirdly, he also exposes the contradictory attitude in evaluation on man's moral ability. Considering these three contradictions, it becomes clear that Singer has failed to prove his claim that there is no qualitative difference between human beings and animals. Despite the popularity of his theory, I believe the theoretical foundation of Singer's animal liberation theory is rather weak. The reason for revealing the weakness of Singer's theory is not to return to the practice of mercilessly handling animals but to show that it is wrong to undermine human dignity under the guise of animal welfare.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1070-1081
• /
• 1996

In this research, a model was developed for estimating the queue length of vehicles, based on occupancy time of each vehicle collected by loop detectors which were setup at the upstream of urban street. The estimation model suggestes a method which minimizes architectural effects of the street, such as existence of pedestrian crossing, for future applications to the field. The estimation model suggested in this research was established based on real traffic data collected at up-stream detectors in Kangnam Subway station, Seoul, and the formula of the model is based on Multi-Polynomial equations. Consequence of the experiments showed that the model can adequately and in real-time mode measure length of the queue which were constructed at the 80 to 90 meters away from the upstream detectors. The estimation accuracy of the model was verified in statistical analysis conducted by regressing analysis and test results in real traffic situation.