• 인지과학
• /
• 제23권3호
• /
• pp.367-388
• /
• 2012

이 연구는 튜링의 탄생 백주년을 맞이하여 인지과학을 위한 그의 심대한 공헌을 고찰하기 위한 작업이다. 이 논문에서는 특히 튜링에게 가장 중요한 학문적 영향을 주었던 괴델의 시각을 통하여 튜링의 공헌과 입장이 논의된다. 이를 위하여 메타수학적 접근이 시도되며, (1) 튜링의 인지에 대한 수학적 분석, (2) 보편튜링기계, (3) 보편튜링기계의 한계, (4) 보편튜링기계의 한계를 넘는 모델로서의 오라클튜링기계, (5) 인지과학을 위한 튜링테스트가 논의된다. 이 연구에 의하면, 튜링의 공헌은 다음과 같이 정리될 수 있다. 첫째 튜링은 수리논리를 사용하여 마음과 물리적 세계의 새로운 가교를 발견했다. 둘째, 튜링은 마음의 작동에 대하여 새로운 형식적 분석을 제공했다. 셋째, 튜링은 자신의 튜링기계의 한계를 넘어서는 마음의 새로운 모델로서 오라틀 튜링기계와 연결주의적 신경망기계를 제시했다. 우리 인지과학자들은 튜링의 어깨 위에 서서 늘 새로운 튜링테스트를 기다리고 있게 될 것이다.

• 한국연소학회지
• /
• 제8권1호
• /
• pp.46-56
• /
• 2003

The present paper is concerned with the development of the computational biology in the past half century and its relationship with combustion. The modem computational biology is considered to be initiated by the work of Alan Turing on the morphogenesis in 1952. This paper first touches the life and scientific achievement of Alan Turing and his theory on the morphogenesis based on the reactive-diffusive instability, called the Turing instability. The theory of Turing instability was later extended to the nonlinear realm of the reactive-diffusive systems, which is discussed in the framework of the excitable media by using the Oregonator model. Then, combustion analogies of the Turing instability and excitable media are discussed for the cellular instability, pattern forming combustion phenomena and flame edge. Finally, the recent efforts on numerical simulations of biological systems, employing the detailed bio-chemical knietic mechanism is discussed along with the possibility of applying the numerical combustion techniques to the computational cell biology.

• 한국수학사학회지
• /
• 제11권1호
• /
• pp.19-26
• /
• 1998

We investigate "Church's Thesis" and "Turing's Thesis", which are commonly considered as equivalent foundations of computability theory or recursion theory in mathematical logic and computer science. A careful historical and logical analysis of Godel's recursiveness, Church's ${\lambda}$-definability and Turing computability should distinguish between Church's Thesis and Turing's Thesis.and Turing's Thesis.

• 한국수학사학회지
• /
• 제17권4호
• /
• pp.27-36
• /
• 2004

이 논문에서는 튜링의 기계주의에 대한 괴델의 비평을 다룬다. 여기에서 튜링의 기계주의란 튜링기계의 기호배열이 인간의 마음의 각 상태에 대응된다는 것을 의미한다. 첫째 부분에서는 계산으로서의 인지과정에 대한 튜링의 분석을 검토한다. 두 번째 부분에서는 튜링기계의 개념을 살펴보고, 세 번째 부분에서는 인지적 체계로서의 튜링기계가 갖는 계산적 한계를 설명한다. 네 번째 부분에서는 괴델이 튜링의 기계주의에 동의하지 않았음을 보이고, 마지막으로 오라클 튜링기계과 그 함의에 대하여 논의한다.

• Kyungpook Mathematical Journal
• /
• 제60권2호
• /
• pp.335-347
• /
• 2020

In this paper, we take into account a parasite-host system with reaction-diffusion. Firstly, we derive conditions for Hopf, Turing, and wave bifurcations of the system in the spatial domain by means of linear stability and bifurcation analysis. Secondly, we display numerical simulations in order to investigate Turing pattern formation. In fact, the numerical simulation discloses that typical Turing patterns, such as spotted, spot-stripelike mixtures and stripelike patterns, can be formed. In this study, we show that typical Turing patterns, which are well known in predator-prey systems ([7, 18, 25]), can be observed in a parasite-host system as well.

• 한국수학사학회지
• /
• 제25권3호
• /
• pp.15-27
• /
• 2012

이 글의 목적은 튜링이 태어난 지 100주년을 맞이하여 튜링의 삶을 살펴보고 그의 업적 중 특히 '멈춤정리' 에 주목하여 철학적 함의를 궁구하는 것이다. 튜링은 멈춤문제가 해결불가능하다는 것을 증명함으로써 힐베르트의 결정문제를 부정적으로 해결했다. 본고에서는 멈춤문제의 해결불가능성이 이성의 한계를 함축한다고 파악하고 인식이나 행위에 있어서 여백을 가지는 것이 필요하다는 것을 주장한다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제16권4호
• /
• pp.249-256
• /
• 2012

In this work, we analyze the spatial patterns of a predator-prey system with cross diffusion. First we get the critical lines of Hopf and Turing bifurcations in a spatial domain by using mathematical theory. More specifically, the exact Turing region is given in a two parameter space. Our results reveal that cross diffusion can induce stationary patterns which may be useful in understanding the dynamics of the real ecosystems better.

• Journal of applied mathematics & informatics
• /
• 제11권1_2호
• /
• pp.125-141
• /
• 2003

This paper treats the conditions for the existence and stability properties of stationary solutions of reaction-diffusion equations of Gierer-Meinhardt type, subject to Neumann boundary data. The domains in which diffusion takes place are of three types: a regular hexagon, a rectangle and an isosceles rectangular triangle. Considering one of the relevant features of the domains as a bifurcation parameter it will be shown that at a certain critical value a diffusion driven instability occurs and Turing bifurcation takes place: a pattern emerges.

• Bulletin of the Korean Chemical Society
• /
• 제21권12호
• /
• pp.1213-1216
• /
• 2000

Localized structures with fronts connecting a Turing patterns and Hopf oscillations are found in discrete reaction-diffusion system. The Chorite-Iodide-Malonic Acid (CIMA) reaction model is used for a reaction scheme. Localized structures in discrete reaction-diffusion system have more diverse and interesting features than ones in continuous system. Various localized structures can be obtained when a single perturbation is applied with variation of coupling strength of two intermediates. Roles of perturbations are not so simple that perturbations are sources of both Turing patterns and Hopf oscillating domains, and spatial distribution of them is determined by strength of a perturbation applied initially.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제13권1호
• /
• pp.21-29
• /
• 2009

This paper treats the conditions for the existence and stability properties of stationary solutions of a predator-prey interaction with self and cross-diffusion. We show that at a certain critical value a diffusion driven instability occurs, i.e. the stationary solution stays stable with respect to the kinetic system (the system without diffusion) but becomes unstable with respect to the system with diffusion and that Turing instability takes place. We note that the cross-diffusion increase or decrease a Turing space (the space which the emergence of spatial patterns is holding) compared to the Turing space with self-diffusion, i.e. the cross-diffusion response is an important factor that should not be ignored when pattern emerges.