최근 수정 시각 : 2018-01-24 09:28:29
계산주의 마음이론이란 인공지능의 알고리즘을 현재의 컴퓨터가 할 수 있는 수학적 알고리즘만으로 발전시킬 수 있다는 이론이다. 이에 반대되는 이론은 불완전성 정리이다. 불완전성 정리는 간단히 말해서 모든 무모순인 수학의 공리계에는 참이지만 증명할 수 없는 명제가 반드시 하나 이상 포함하며, 스스로 무모순이라는걸 증명할 수도 없다. 즉 한정된 정보 안에서는 새로운 개념을 증명할 수 없다는 것이다. 계산주의 마음이론이 맞다면 불완전성정리가 틀렸다는 것을 증명하는 되는 셈이되고 가장 이상적이면서도 완벽한 수학적 기호로 이루어진 이상언어를 만들려는 빈 학파가 맞았다는 것도 증명할 수 있게된다. 그렇게 된다면 수학상식을 뒤집는 것 까지는 아니겠지만 인공지능과 수학에 큰 영향을 끼칠 것으로 보인다. 또한 '무'에서 '유'창조가 가능하다는 말이기도 하기에 과학계에도 큰 여파를 끼칠 수 있을 것이다.
(https://namu.wiki/w/%EB%B6%88%EC%99%84%EC%A0%84%EC%84%B1%20%EC%A0%95%EB%A6%AC) (https://namu.wiki/w/%EA%B0%95%EC%9D%B8%EA%B3%B5%EC%A7%80%EB%8A%A5) (참고자료)