| [ PhilosophyThought ] in KIDS 글 쓴 이(By): Monde (김 형 도) 날 짜 (Date): 2000년 1월 12일 수요일 오전 09시 57분 01초 제 목(Title): Re: 지능이 뭘까요? 게스트 분께 답장. 펜로즈가 증명한 것은 그런 류의 증명이 아닙니다. 괴델 정리를 아느냐 모르느냐와는 전혀 상관이 없고 왠만한 선수면 다 아는 정리를 튜링머쉰은 증명할 수 없다는 걸 증명한 겁니다. 예를 들면, "Shadows of the mind"에 나온 거, 짝수의 합이 홀수가 되는 수를 발견하라는 문제를 인간은 금방 말이 안되는 명령인지 알지만 튜링머쉰은 답이 안나온다는 거죠. 이런 문제에 특수한 튜링 머쉰을 만들면 모르겠지만, (이런 거 프로그램 짤 수 있음 갈켜 주셔!!!) 전체적인 느낌(저도 잘 이해 못하지만 틀린 것 같지는 않음)은 셀 수 있는 연산을 하는 기계와 뭔가 다른 방식의 인식 작용을 하는 두뇌와의 차이를 강조하는 것 같고, 양자역학 운운은 나중에 생각해보죠. |