• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• Korea journal of population studies
• /
• v.26 no.2
• /
• pp.175-195
• /
• 2003

This paper investigates spatial distribution of the knowledge-information occupations by utilizing Geographical Information System(GIS). The knowledge-information occupations, comprised mainly of professionals, engineers and managers, have played a key role in the knowledge-based information society. The uneven development of bureaucratization and informatization among regions have resulted in unequal spatial distribution of the knowledge-information occupations. Analysis of 1995 and 2000 Census shows that these occupations tend to concentrate in some major metropolitan areas, while the other areas show rather traditional occupational structure. This spatial unequality has been also found in the occupational distribution within Seoul. This tendency of spatial concentration in the occupational distribution inherited from the industrial society and is not going to diminish in the knowledge-information society. More aggressive policies to make the most of decentralizing impacts of information and communication technologies should be implemented to counter-balance this tendency.

• Journal of Digital Convergence
• /
• v.13 no.1
• /
• pp.93-110
• /
• 2015

The purpose of this study is to identify the role of T-shaped skill between customer/supplier network and innovation performance of firms. To manage effectively the relationship between collaborative firms, firms need to have a prior related knowledge. The premise of absorptive capacity is that the organization needs prior related knowledge to recognize, assimilate, and apply new knowledge. In this context, T-shaped skill facilitates the learning of new related knowledge. The skill is thus a critical component of innovative capabilities. We found that T-shaped skill plays a mediating role in the relationship between networks and innovation performance. The conclusions and implications are discussed.

• Information Systems Review
• /
• v.10 no.2
• /
• pp.253-267
• /
• 2008

As the importance of information security becomes a major concern, there has been growing effort to educate information security professionals. This study aims to analyze the level of required knowledge and skills for four information security skills groups: strategy and planning; research and development; system management and operation; and accident control. For this study, we selected 55 critical knowledge and skills for information security professionals by literature review and Delphi method, and we conducted a survey of information security knowledge and skills requirements for information security professionals to perform their jobs. As a result, we analyzed the current status of the information security professionals' knowledge and skills level and suggested some guidelines for establishing the demand-based curriculum for training information security professionals.

• Proceedings of the Korean Statistical Society Conference
• /
• 2004.11a
• /
• pp.9-16
• /
• 2004

현재 통계학파의 수가 급격히 감소하고 있으며 우수한 학생들의 유치가 매우 어려워지는 상황에서 본 연구에서는 통계학과의 발전방향에 대해 다양한 관점에서 연구해 보았다. 특히 치환부족 사태 이후 교직에 대한 선호도가 높아지고 또 7차 교육과정에서 통계 교육이 강화되는 시점에서 통계학에 대한 교직과정을 확대하는 방안 또한 알아보았다. 어느 하나 쉬운 것이 없지만 모두의 다양한 노력이 전제되어야만 더 나은 미래를 만들어 갈 수 있을 것이다.

• Korean Management Science Review
• /
• v.5 no.1
• /
• pp.45-55
• /
• 1988

다양한 통계기법을 이용하는 연구자들은 부적합한 통계기법을 선정하여 수집된 자료를 분석함에 따라 많은 오류를 범하고 있는 실정이며, 자신의 연구목적에 부합되는 통계기법을 선정함에 있어 어느 기법을 선택할 것인가 하는 문제에 직면하게 된다. 본 연구에서 구축한 통계기법 선정을 위한 전문가 시스템(AS/TS)은 수집된 자료의 특성과 연구목적에 적합한 기법을 연구자에게 선정해주는 전문가 시스템이다. 현존하는 대부분의 통계 패키지들은 이용자 자신의 연구목적에 가장 적합한 통계기법을 선택할 수 있는 지식을 지니고 있는 것으로 전제하고 있기 때문에, AS/TS는 이들 통계 패키지를 이용하기 전에 통계기법만 선택해 주도록 설계되었다. AS/TS는 MS-DOS를 탑재한 16bit 퍼스널 컴퓨터로 INSIGHT 2(shell)를 이용하여 구축하였다.

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.287-292
• /
• 1998

실용적인 격틀(Case frame) 정보를 말뭉치로부터 자동구축하기 위해서는 대량의 홀문장이 필요하다. 그리고 국어 문장 형식은 영어와 많은 차이점이 있다. 또한 기존의 격틀 구축 연구에서 전제했던 광범위한 학습 데이터와 언어학적 지식은 국어에 대해 현재 존재하지 않는다. 그러므로 본 연구는 그러한 문제점들을 밝히고 현실적인 접근 방법을 제시한다. 그리고 겹문장을 홑문장 형태의 문장들로 바꾸기 위한 알고리즘을 제시한다.

• Electronics and Telecommunications Trends
• /
• v.13 no.6 s.54
• /
• pp.137-147
• /
• 1998

다가오는 21세기는 본격적인 지식정보기반 사회가 정착되고 역사적으로 한, 일간의 세번째 천년이 시작되는 시기이다. 본 논문에서는 정보통신기반의 고도활용으로 탄생되고 있는 전자공간(cyberspace)이 21세기의 새로운 한일 관계를 구축하기 위한 이국간정보기반(BII)으로 발전할 것이라 보고, 이러한 전제하에서 상호교통적인 한일 BII구축을 위한 원칙과 정비의 기본 방향을 고찰하는데 그 목적을 두었다.

• 대학교육
• /
• s.151
• /
• pp.12-14
• /
• 2007

21세기 지식기반사회에서 뿐만 아니라, 대학은 어느 나라 어느 시대이건 간에 그 국가의 중추적 역할을 담당해 왔다. 대학의 역할은 존재하지 않는 것을 창조할 수 있어야 한다는 전제하에, 이 역할의 실현을 위해서 대학구성원은 자신이 맡은 바 책무성을 보다 강화하여야 할 것이고, 국가는 대학운영의 자율권을 적극 보장해 주어야 할 것이며, 사회나 기업은 대학의 판단을 존중하고 우리 대학이 선진대학이 될 수 있도록 적극 지원해 주어야 할 것이다. 여기서는 우리가 고등교육 강국으로 거듭나기 위해 새 정부에 바라는 정책을 제언하도록 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1557-1560
• /
• 2005

유비쿼터스 네트워크가 완성되려면 IT 기술의 고도화가 전제돼야 한다. 통신망의 광대역화,컨버전스(융합)기술의발전, 어느 공간에서나 휴대폰이나 PDA, 더 발전된 무선 디바이스등을 이용할 수 있도록 이에 맞는 서비스 개발을 서둘러야 한다. 다양한 플랫폼에 대한 투자를 적극적으로 추진해야 할 때가 온 것이다.. GIS 정보는 이러한 유비퀴터스 환경하의 주요한 핵심 정보라 할 수 있다. 본 연구에서는 XML 표준을 바탕으로 W3C 의 웹 서비스와 시맨틱 웹 기술을 응용하여 유비쿼터스 환경의 다양한 컴퓨터 환경에 지식을 효과적으로 제공하는 기술을 연구 개발한다