괴델의 불완전성의 정리

Compute 2007.12.02 20:24
 먼저 컴퓨터에 대해 이야기하기 전에  컴퓨터가 할수있는 일. 즉 계산 가능성에 대해 알아야
한다.  이 계산 가능성에 대해선 괴델의 불완전성의 정리에서 잘 나와있다.
 읽다보면 알겠지만 힐베르트의 완전성 증명에 대해 괴델의 불완전성 정리가 이를 답변하고
이에 처치 튜링이 계산가능한 것에 대한 이론을 발표함으로서 컴퓨터의 기초가 완성되게
되었다.

먼저 불완전성의 정리에 대해..

Incompleteness Theorem ..



꽤 직관적으로 잘 설명되어있는 글이 있어 추가합니다^^;

추가자료..



Trackbacks 1 : Comments 0