http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 현우식 (검색결과 46 건)
- 무료
- 기관 내 무료
- 유료
-
현우식 상명대학교 자연과학연구소 1998 自然科學硏究 Vol.5 No.-
The purpose of this research is devoted primarily to the study of model and logic for knowledge management in Korean context. The main task is to explore the characteristics of Korean knowledge management reflected in the senior economic officials' knowledge management in connection with the financial crisis of November, 1997 from a logical perspective. We introduce not only a knowledge space but also a culture space so that we show the differences of the knowledge management according to cultural differences. The analysis of the knowledge management by the administration proves the lack of meta-level knowledge conversion, and the strong impact of an implicit organization. The paper investigates what the model and logic will tell about a proper knowlege management according to Korean culture. The main items are as follows: 1. a model for knowledge conversion in the knowledge space. 2. a model for organization conversion in the culture space. 3. a model for Korean knowledge management.
-
현우식,Hyun, Woo-Sik 한국수학사학회 2009 Journal for history of mathematics Vol.22 No.3
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. 현재 융합과학의 모델로 주목받고 있는 인지과학을 이해하기 위해서는 세 가지의 중대한 수학적 업적을 살펴볼 필요가 있다. 본 논문에서는 이 세 가지의 역사적 업적에 해당하는 튜링기계, 신경망, 괴델의 불완전성 정리를 중심으로 인지과학의 수학적 기틀을 연구한다. 먼저, 메타수학으로서의 인지과학을 고찰한다. 다음으로 컴퓨터의 수학적 모델로서 튜링기계와 그 발전을 탐구하고, 뇌의 수학적 모델로서 신경망과 그 발전을 탐구하고자 한다. 마지막으로는 인지과학의 미래를 위한 괴델의 불완전성 정리의 함의를 논의하고 양자인지과학을 전망한다.
-
현우식,Hyun, Woo-Sik 한국수학사학회 2011 Journal for history of mathematics Vol.24 No.3
칸토르에 의해서 과학적으로 불가침의 영역이었던 무한이 실무한으로 정의되고 무한의 논리가 성립될 수 있었다. 칸토르의 무한수학과 무한신학을 통하여, 이 연구에서는 수학과 물리 세계와 관련된 실무한의 의미를 고찰하고, 모든 실무한을 넘어서는 절대무한으로서의 신의 속성이 함의하는 의미를 논의한다. This mathematico-theological study addresses the Cantor's mathematics and theology of the infinite. From the scientific perspective, Cantor's landmark works opened the definition and logic of infinity in concreto, in abstracto, and in Deo. According to Cantor, the absolute infinite ${\Omega}$ could imply God's property beyond the actual infinite in physical and mathematical worlds.
-
현우식,Hyun, Woosik 한국수학사학회 2014 Journal for history of mathematics Vol.27 No.1
This interdisciplinary study explores G$\ddot{o}$del's hermeneutics of the relationship between relativity theory and idealistic philosophy in terms of time. For G$\ddot{o}$del, Einstein's contribution to the physical realization of idealistic philosophy would be remarkable. We start with a historical background around G$\ddot{o}$del's paper for Einstein(1949a). From the perspective of G$\ddot{o}$del's cosmology, the second part addresses the relative nature of time, and the next then investigates the rotating model of universes. G$\ddot{o}$del's own results show that the temporal conditions of relativity and idealistic philosophy are satisfiable in the mathematical model of rotating universes. Thus, it could be asserted to travel into any region of the past, present or future, and back again.
-
라클라우 사상의 수용 과정과 쟁점 - 국내 비판적 인문사회과학 연구에서 ‘라클라우의 이름’의 의미
현우식 비판사회학회 2023 경제와 사회 Vol.- No.138
이 글은 비판적 인문사회과학 연구를 중심으로 1990년대 초반부터 현재까지 한국에서 라클라우 사상이 어떻게 수용되어 왔는지를 분석한다. 이는 국내 비판적 인문사회과학 연구에서 ‘라클라우의 이름’의 의미를 묻는 작업이라고 할 수 있다. 1990년대 포스트마르크스주의 논쟁 이후 한동안 자취를 감춘 라클라우 사상에 대한 논의는 2000년대 후반을 기점으로 다시 시작되었다. 이후 라클라우 사상은 주로 진보·좌파 진영의 정치적 기획 또는 헤게모니 프로젝트의 차원에서 수용되었으며 이론적으로는 마르크스주의와 포스트구조주 의의 접합이라는 문제의식으로 재해석되었다. 그러나 라클라우 사상은 여러 긍정적인 요소에도 불구하고 담론환원주의와 전략적 모호성을 이유로 부정적인 평가를 받아왔다. 이 글은 이러한 평가의 배경이 되는 이론적·정치적 입장을 비판적으로 고찰하면서 향후 라클라우 연구와 관련해 라클라우적인 사회분석의 (불)가능성과 이데올로기론과 헤게모니론의 (불)연속성이라는 두 가지 쟁점을 제기한다.
-
계산가능성 이론 형성에서의 Church's Thesis와 Turing's Thesis
현우식 한국수학사학회 1998 Journal for history of mathematics Vol.11 No.1
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.
-
-
-
쿠르트 괴델(Kurt Gdel)의 수학적 신학:불완전성 정리, 무한, 하나님에 관한 존재론적 증명
현우식 한국기독교학회 2007 한국기독교신학논총 Vol.49 No.-
The Mathematical Theology of Kurt Gödel: Incompleteness Theorems, Infinity, and Ontological Proof of God. Hyun, Woo-Sik Assistant Professor Yonsei University Seoul, Korea On the centenary of Kurt Gödel, we focus on the mathematical theology of the greatest logician of the twentieth century. He was the first person to demonstrate that certain mathematical propositions can be neither proved nor disproved with the rigorous methods of mathematics. Gödel's name and work is also associated with many important achievements in other areas, such as philosophy, cosmology, artificial intelligence, cognitive science, and theology. The first part is about theological implications of Gödel's incompleteness theorems. The theological implications of his theorems can be found in the fact that the formation of ever higher systems serves as a logical response to an unprovable truth. We then compare Gödel's theology with the mathematical concepts of infinity. Finally, investigating Gödel's ontological proof of God's existence, we assert that his own work is a remarkable example of mathematical theology. It is an occasion not for a discouragement, but for a renewed appreciation of the powers of creative cognition in both mathematics and theology.
-
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
