• Journal for History of Mathematics
• /
• v.27 no.2
• /
• pp.139-152
• /
• 2014

This paper aims to compare and contrast Kierkegaard and Turing, whose birth dates were one hundred years apart, analyzing them from the perspective of the limit. The model of analysis is two concentric circles and movement in them and on the boundary of outer circle. In the model, Kierkegaard's existential stages have 1:1 correspondences: aesthetic stage, ethical stage, religious stage A and religious stage B correspond to inside of the inner circle, outside of the inner circle, the boundary of the outer circle and the outside of the outer circle, respectively. This paper claims that Turing belongs to inside of the outer circle and moves to the center while Kierkegaard belongs to outside of the outer circle and moves to the infinity. Both of them have movement of potential infinity but their directions are opposite.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.6 no.4
• /
• pp.101-107
• /
• 1997

In order to detect and suppress chatter in turning process, a stability control methodology was studied through manipulation of spindle speeds regarding to chatter frequencies, The chatter frequency was identified by monitoring and signal processing of sound pressure during turing on a lathe. The stability control methodology can select stable spindle speeds without knowing a prior knowledge of machine compliances and cutting dynamics. Reliability of the developed stability control methodology was verified through turing experiments on an engine lathe. Experimental results show that a microphone is an excellent sensor for chatter detection and control .

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.496-500
• /
• 2001

When we cut a key way on the axial or on the boss, we generally use a slotter or a broach. To do the key seating, turing operations have to be preceded and then the key on the axial or on the boss can be seated. For this reason, the production process of key way cutting becomes complicated. If is necessary to simplify the process and we have developed a small practical machine for key way cutting. The machine is located on the carriage of the lathe. Using this small and practical key way machine, after operation the turing, you do not have to remove the workpiece from the chuck of the lathe to carry on the key seating process. The developed machine will save cutting time and the cost.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.655-666
• /
• 2017

In this paper, we study the pattern formation to a general Degn-Harrison reaction model. We show Turing instability happens by analyzing the stability of the unique positive equilibrium with respect to the PDE model and the corresponding ODE model, which indicate the existence of the non-constant steady state solutions. We also show the existence periodic solutions of the PDE model and the ODE model by using Hopf bifurcation theory. Numerical simulations are presented to verify and illustrate the theoretical results.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.15 no.2
• /
• pp.137-142
• /
• 2011

In this paper we formulate a predator-prey system in two patches in which the per capita migration rate of each species is influenced only by its own density, i.e. there is no response to the density of the other one. Numerical studies show that at a critical value of the bifurcation parameter the system undergoes a Turing bifurcation, i. e. the stable constant steady state loses its stability and spatially non-constant stationary solutions, a pattern emerge.

• Journal of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.249-281
• /
• 2020

A reaction-diffusion model with spatiotemporal delay modeling the dynamical behavior of a single species is investigated. The parameter regions for the local stability, global stability and instability of the unique positive constant steady state solution are derived. The conditions of the occurrence of Turing (diffusion-driven) instability are obtained. The existence of time-periodic solutions, the existence and nonexistence of nonconstant positive steady state solutions are proved by bifurcation method and energy method. Numerical simulations are presented to verify and illustrate the theoretical results.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.23 no.2
• /
• pp.139-155
• /
• 2019

In this paper, we study the asymptotic behavior and Hopf bifurcation of the modified Holling-Tanner models for the predator-prey interactions in the absence of diffusion. Further the direction of Hopf bifurcation and stability of bifurcating periodic solutions are investigated. Diffusion driven instability of the positive equilibrium solutions and Turing instability region regarding the parameters are established. Finally we illustrate the theoretical results with some numerical examples.

• Korean Journal of Cognitive Science
• /
• v.6 no.3
• /
• pp.5-23
• /
• 1995

According to a well-known argument (so-called the Godelian argument) proposed by Lucas. Godel's theorem refutes the thesis of mechanism. that is, the thesis that human cognitive system is no more than a Turing machine. The main aim of this paper is to show that this argument is not successful. However. I also argue that many pre-existing objections (by Benacerraf, Slezak. Boyer. Hofstadter etc.) to Gooelian argument are not satisfactory. either. Using Tarski's theorem. I then strengthen what I caII the consistency objection to Godelian argument. In my dilemma objection obtained. Godelian argument doesn't work because the argument has a false premise if we have the concept of global truth and the argument cannot be stated if not.

• 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.

• Korean Journal of Cognitive Science
• /
• v.8 no.1
• /
• pp.37-56
• /
• 1997

Can the appropriately programmed computer think?I analyse,in this paper, argugments for and against strong AI-thesis,basically Turing's argument and Searle's chinese room argument.Through a cirtical review of these arguments, I try to show that the supportes of Al-thesis like Turing fail to explain the subjective nature of human consciousness.However,I do not think that subjective consciousness is a necessary condition for the ability to understand language.(In this respect my views are different from Searle's). But when we consider the conditions of humans as language users,we should presuppose that a human being is the unity of body and mind (or consciousness). Therefore, our subjective consciousness,together with human body(thus,way of our behavior and life). serve as a mark of person.