• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.31-44
• /
• 2009

Anyone wishing to understand cognitive science, a converging science, need to become familiar with three major mathematical landmarks: Turing machines, Neural networks, and $G\ddot{o}del's$ incompleteness theorems. The present paper aims to explore the mathematical foundations of cognitive science, focusing especially on these historical landmarks. We begin by considering cognitive science as a metamathematics. The following parts addresses two mathematical models for cognitive systems; Turing machines as the computer system and Neural networks as the brain system. The last part investigates $G\ddot{o}del's$ achievements in cognitive science and its implications for the future of cognitive science.

• Journal of Fashion Business
• /
• v.18 no.2
• /
• pp.113-131
• /
• 2014

This study aims to examine the background to the rise of Rei Kawakubo, a Japanese designer who achieved fame by suggesting the concept of deconstruction and recombination of clothes, and to look at environment of the time, the formative characteristics of her design and the Japanese aesthetic sense inherent in her design. As the method of research, collections that Kawakubo unveiled over the past 10 years starting in 2004 were examined, and a survey of the literature was conducted to describe the background of her growth and the Japanese aesthetic sense inherent in the design. According to the study, Kawakubo grew up in the ruins of a war, and went through a time of great tumult, when Western culture was mixing with Japan's traditional culture. She taught herself a method of creation involving the deconstruction of clothes, and their recombination. For this reason, her design from the beginning was inevitably focused on deconstructing clothes before they could be recombined. Through analyses of her collections, it was found that the formative characteristics of her design were characterized by asymmetry, incompleteness, humor and hybridity. Kawakubo created clothes under the influence of an ethnicity that was shrouded in individuality and a traditional aesthetic sense, and the formative characteristics of her design defined by asymmetry, incompleteness, humor and hybridity were closely related to the hybridity represented by Wabi (わび), Yugen (幽玄), Okashi (をかし) and Zakyo (雜居).

• International Journal of Advanced Culture Technology
• /
• v.7 no.3
• /
• pp.92-96
• /
• 2019

This study analyzes the problems of fire qualification information websites and job search websites due to incomplete information in the job search process and suggests an improvement plan. It has been confirmed that the main reason for the cost of job searching is incomplete information required for a job search and job search through existing analysis. As a result, it is suggested to construct a smooth information system for economic entities and to provide easy access to information by mitigating the incompleteness of information. Based on this, analysis of the problems of Korean qualifications in the firefighting realm reveals that there is a qualification holder information and a job information site, and a qualification holder management system is established but only information of either qualification acquisition information or employment information is provided. In addition, it is easy to access information through a qualification acquisition information and employment information site via the Internet, but there are inconveniences that qualification acquisition information and employment information are dualized. In order to improve this, it is necessary to build a new customized integrated qualification management system that covers existing Q-net qualification acquisition information and worknet employment information.

• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.241-271
• /
• 2017

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest's argument for Dialetheism from $G{\ddot{o}}del^{\prime}s$ theorem is unconvincing as the lesson of $G{\ddot{o}}del^{\prime}s$ proof (or Rosser's proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest's inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying $G{\ddot{o}}del$ sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, $G{\ddot{o}}del^{\prime}s$ and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of $G{\ddot{o}}del$ sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of $G{\ddot{o}}del$ sentence. Hence, $G{\ddot{o}}del^{\prime}s$ and its related theorem never can be a ground for Dialetheism.

• Wind and Structures
• /
• v.5 no.2_3_4
• /
• pp.83-88
• /
• 2002

The present situation of CWE(Computational Wind Engineering) and the papers presented to the CWE 2000 Symposium are reviewed from the following viewpoints; 1) topics treated, 2) utilization of commercial code (software), 3) incompleteness of CWE, 4) remaining research subjects, 5) prediction accuracy, 6) new fields of CWE application, etc. Firstly, new tendencies within CWE applications are indicated. Next, the over-attention being given to the application field and the lack of attention to fundamental problems, including prediction error analysis, are pointed out. Lastly, the future trends of CFD (Computational Fluid Dynamics) applications to wind engineering design are discussed.

• Publications of The Korean Astronomical Society
• /
• v.7 no.1
• /
• pp.1-7
• /
• 1992

We may consider the following three fundamental epistemological questions concerning cosmology. Can cosmology at last understand the origin of the universe? Can computers at last create? Can life be formed at last synthetically? These questions are in some sense related to the liar paradox containing the self-reference and, therefore. may not be answered by recursive processes in finite time. There are, however. various implications such that the chaos may break the trap of the self-reference paradox. In other words, Goedel's incompleteness theorem would not apply to chaos, even if the chaos can be generated by recursive processes. Internal relations among cosmology, epistemology and chaos must be investigated in greater detail.

• Journal of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.581-592
• /
• 1999

Let M be a properly immersed timelike hypersurface of $\overline{M}$. If M is a diagonal type, M satisfies the generic condition under the certain conditions of the eigenvalues of the shape operator. Moreover, applying them to Raychaudhuri equation, we can show that M satisfies the generic condition. Thus, by these results, we establish the singularity theorem for M in $\overline{M}$.

• Journal for History of Mathematics
• /
• v.1 no.1
• /
• pp.71-75
• /
• 1984

Whether the complete Hilbert program could be carried out was rendered very doubtful by results due to Godel. These results may be roughly characterized as a demonstration that, in any system broad enough to contain all the formulas of a formalized elementary number theory, there exist formulas that neither can be proved nor disproved within the system. In this paper, Godel's incompleteness theorem is explained roughly moreover formul system and machines being refered, related to his theory.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 1997.11a
• /
• pp.66-76
• /
• 1997

In order to investigate the generation of carbon monoxide and heat loss of incomplete combustion in compartment fires, an experiment was conducted in a small scale compartment by using methanol as a fuel. The concentration of carbon monoxide and the toxicity parameter showed high values when the mass air - to - fuel stoichiometric ratio is under 1.0. The constitution of the combustion gas was showed to estimate it from the . The heat loss due to incompleteness of combustion is about one third of heat of combustion in case of under 1.0.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.97-133
• /
• 2018

In his unpublished article, "Is Mathematics Syntax of Language?," $G{\ddot{o}}del$ criticizes what he calls the 'syntactical interpretation' of mathematics by Carnap. Park, Chun, Awodey and Carus, Ricketts, and Tennant have all reconstructed $G{\ddot{o}}del^{\prime}s$ arguments in various ways and explored Carnap's possible responses. This paper first recreates $G{\ddot{o}}del$ and Carnap's debate about the nature of mathematics. After criticizing most existing reconstructions, I claim to make the following contributions. First, the 'language relativity' several scholars have attributed to Carnap is exaggerated. Rather, the essence of $G{\ddot{o}}del^{\prime}s$ critique is the applicability of mathematics and the argument based on 'expectability'. Thus, Carnap's response to $G{\ddot{o}}del$ must be found in how he saw the application of mathematics, especially its application to science. I argue that the 'correspondence principle' of Carnap, which has been overlooked in the existing discussions, plays a key role in the application of mathematics. Finally, the real implications of $G{\ddot{o}}del^{\prime}s$ incompleteness theorems - the inexhaustibility of mathematics - turn out to be what both $G{\ddot{o}}del$ and Carnap agree about.