bizbuddha

[ 밑줄 ] 인간은 한 번도 본 적이 없는 새로운 모양의 고양이나 개가 등장하더라도 아주 쉽게 알 수 있다. 그것은 고양이 자체를 안다기보다 고양이와 고양이가 아닌 것 사이(관계)를 아는 것에 가깝다. 고양이를 개별로 파악하는 것이 아니라, 전체 맥락 안에서 그것이 고양이라는 것을 파악하는 것이다. 튜링은 1937년 논문에서 '생각하는 기계'(thinking machine)개념을 창안했다. 튜링은 판단불가능한 명제가 존재하는지를 확인하기 위한 수학적 도구(기계)를 만들고 있었다. 그래서 이 논문은 괴델을 불완전성 명제를 재증명한 것으로 평가받고 있다. 튜링은 "모든 논리적 체계는 자기 자신의 논리적 일관성을 증명하지 못한다."는 괴델의 명제가 기계의 완전성 문제에도 적용된다는 것을 알고 있었다. 다시 말..