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

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

• 논리연구
• /
• 제5권2호
• /
• pp.67-91
• /
• 2002

모순에 대한 비트겐슈타인의 견해는 매우 특이할 뿐만 아니라 여러 논란을 불러일으키기에 충분하다. 예컨대 그에 따르면 모순이 수학체계에 존재한다 해도 해로울 것이 전혀 없다. 튜링은 이러한 비트겐슈타인의 견해에 대해서, 만일 수학체계에 모순이 있다면, "그 적용의 경우에 다리가 붕괴될 수도 있다"고 공격한다. 반면에 비트겐슈타인은 "모순 때문에 다리가 붕괴될 수도 있다고 말하는 것은 아주 옳은 소리로 들리지 않는다"라고 응수한다. 과연 유모순적인 계산체계로 건설된 다리는 무너질 것인가? 이 물음을 "튜링의 물음"이라고 부르고, 유모순적인 계산체계로 건설된 다리를 간단히 "튜링의 다리"라고 부르기로 하자. 이 글에서는 바로 이 튜링의 물음에 직접 대답하기 위해서 4개의 입론이 제시되고 있다. 우리는 이러한 입론을 토대로 해서 튜링의 물음에 대해 대답할 수 있고, 비트겐슈타인과 튜링의 논쟁을 조명할 수 있으며, 비트겐슈타인의 수학철학의 핵심적인 측면을 살펴볼 수 있다.

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

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

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (A)
• /
• pp.185-186
• /
• 2007

ITSP(Internet Telephony Service Provider)를 이용한 VoIP 서비스의 사용자가 증가함에 따라 VoIP 스팸은 큰 문제로 대두되고 있다. 기존의 일반 전화 때부터 사용되던 스팸은 실시간적 음성 통신이라는 특성상 콘텐츠 필터링을 하기 어렵기 때문에 롤 행위 패턴 조사를 통해 스패머(Spammer)를 구분하고 있다. 그러나 잘못된 오판으로 인한 문제와 스팸으로 인식하는 임계값을 넘지 않는 한도의 스팸 전송, 그리고 여러 사용자가 하나의 번호를 공유하여 사용하는 경우에는 여전히 스팸의 위협이 남아 있다. 이에 본 논문에서는 튜링 테스트를 이용한 VoIP 스팸 방지를 제안한다. 제안된 방법은 송신자에게 튜링 테스트를 거치게 하고, 튜링 테스트를 통과한 사용자만 수신자와 연결이 되는 방식으로 동작한다. 또한 튜링 테스트를 통과한 정상적인 사용자에게는 티켓을 줌으로써 재발신시 거쳐야하는 튜링 테스트의 번거로움을 줄일 수 있다. 제안된 방법은 ASUS WL-500G 무선 공유기 및 Asterisk IP-PBX에서 구현되었고 실험을 통해 제안된 방법의 유효성을 검증하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권3호
• /
• pp.261-265
• /
• 2008

ITSP(Internet Telephony Service Provider)를 이용한 VoIP 서비스의 사용자가 증가함에 따라 VoIP 스팸은 큰 문제로 대두되고 있다. 기존의 일반 전화 때부터 사용되던 스팸은 실시간적 음성 통신이라는 특성상 콘텐츠 필터링을 하기 어렵기 때문에 콜 행위 패턴 조사를 통해 스패머(Spammer)를 구분하고 있다. 그러나 잘못된 오판으로 인한 문제와 스팸으로 인식하는 임계값을 넘지 않는 한도의 스팸 전송, 그리고 여러 사용자가 하나의 번호를 공유하여 사용하는 경우에는 여전히 스팸의 위협이 남아 있다. 이에 본 논문에서는 튜링 테스트를 이용한 VoIP 스팸 방지를 제안한다. 제안된 방법은 송신자에게 튜링 테스트를 거치게 하고, 튜링 테스트를 통과한 사용자만 수신자와 연결이 되는 방식으로 동작한다. 또한 튜링 테스트를 통과한 정상적인 사용자에게는 티켓을 줌으로써 재발신시 거쳐야하는 튜링 테스트의 번거로움을 줄일 수 있다. 제안된 방법은 ASUS WL-500G 무선 공유기 및 Asterisk IP-PBX에서 구현되었고 실험을 통해 제안된 방법의 유효성을 검증하였다.

• 과학기술학연구
• /
• 제17권1호
• /
• pp.5-39
• /
• 2017

2016년 알파고(AlphaGo)와 이세돌(9단)의 경합은 인공지능의 등장을 대중적으로 확인하는 것이었다. 이 대국은 일종의 확장된 튜링테스트(Extended Turing Test)였다. 튜링테스트의 목적은 기본적으로 기계가 인간을 모방할 수 있는지를 관찰하는 것이다. 이 논문은 알파고 사례를 통하여 인간과 인공지능 사이의 상호작용과 그 사회적 성격을 분석할 것이다. 콜린스(Collins, H.)는 우리의 지능은 사회적이며, 튜링테스트의 목적은 궁극적으로 사회 구성원과 비구성원을 구별하려는 것이라고 제시했다. 그러므로 기계가 이 테스트를 통과한다면, 비록 특정한 수행 차원에 한정된 것이지만, 우리가 그 기계(비구성원)를 인간구성원과 구별할 수 없게 되었다는 것을 의미한다. 이세돌-알파고 대국을 튜링테스트 설정에 대입하면, 알파고는 인간의 진실을 흔드는 역할(A)을 수행했고, 이세돌은 인간의 진실을 증언하는 역할(B)을 수행했다. 이 테스트에서 중요한 것은 알파고의 기능적 성능이 아니라 면접관(C)의 사회적 승인이다. 이 대국 과정에서 다수의 관중들이 면접관의 역할을 수행했다. 여기서는 그들을 '인간면접관'이라고 부를 것이다. 그들은 대국과정에서 오랫동안 체화된 자신의 사회적 지식을 통하여 자신의 동료 구성원(인간)과 비구성원(기계)을 구분하고자 했다.

• 정보교육학회논문지
• /
• 제20권4호
• /
• pp.375-386
• /
• 2016

정보 분야 성인 영재의 전기를 통한 정보 영재성 분석 연구는 거의 이루어지지 않고 있다. 따라서 성인 정보 영재의 생애를 통해 정보 영재성을 분석하는 연구가 필요하다. 본 연구에서는 정보 분야에서 업적을 남긴 '앨런 튜링'을 연구대상으로 선정하였다. 그리고 앨런 튜링의 전기문을 내용분석법으로 분석하여 정보 영재성 요인을 도출하였다. 그 결과 앨런 튜링의 정보 영재성은 2가지 영역에 12가지 요인이 포함되는 것으로 나타났다. 다양한 형태로 표출되는 정보 영재성을 신장시키기 위해 정보 영재 교육에서는 수학 및 과학적 능력을 신장시킬 수 있는 교육과정과 교육방법을 제공해야 하며, 장기적이고 다각적으로 정보 영재를 판별할 수 있는 정보 영재 교사의 분별력과 판별 도구가 필요하다. 이와 같은 이해를 바탕으로 앞으로의 연구는 초등 정보 영재를 판별하고 지도하는데 실질적인 도움이 될 수 있도록 실존하거나 실존했던 다양한 정보 영재를 대상으로 한 정보 영재성 요인 분석, 성인 정보 영재의 정보 영재성 발현 과정을 보다 체계적으로 분석하는 방향으로 지속되어야 할 필요가 있다.

• 한국컴퓨터정보학회지
• /
• 제24권2호
• /
• pp.7-12
• /
• 2016

• 전자통신동향분석
• /
• 제32권1호
• /
• pp.72-81
• /
• 2017

2008년, Satoshi Nakamoto라는 가명을 쓰는 신원미상의 사람(들) 혹은 단체가 비트코인을 소개하였다. 그 이후, 현재 비트코인의 총액은 10억달러 이상에 달한다. 비트코인을 지탱하는 기술인 블록체인에 의해 이론적으로 비트코인은 거의 조작이 불가능하며 거의 영구적으로 기록에 남게 된다. 이 획기적인 기술로 인해 비트코인 이 후 약 700개가 넘는 암호화폐가 생겨났으며, 암호화폐뿐만이 아닌 금융권/비금융권, 정부기관 등 많은 도메인에서 블록체인 기술이 도입되어 가고 있다. 비트코인 이후 가장 대표적인 블록체인 기반의 프로젝트로는 튜링 완전한 컴퓨팅 기능이 있는 이더리움이 있다. 이 튜링 완전한 컴퓨팅 기능으로 인해 이더리움 상에서 투명하게 데이터 저장 및 프로그램 실행을 할 수 있다. 이로 인해 이더리움을 이용한 많은 혁신적인 이용 사례가 생겨났다. 본고에서는 비트코인 후 블록체인의 기술을 이더리움 중심으로 소개하며 해결해야 할 기술적 이슈들과 동향에 관해 분석한다. 그리고 현재 이더리움 외에 개발되어오는 블록체인에 대해 간략히 살펴본다.