| [ KAIST ] in KIDS 글 쓴 이(By): guest (geustt) <211.197.235.200> 날 짜 (Date): 2003년 3월 14일 금요일 오후 06시 01분 24초 제 목(Title): Re: 일더하기 일은 이의 증명 괴델의 불완전성 정리는 정리가 없는 명제가 있다는것에 대한 증명입니다. 하지만 페르마의 정리는 증명이 있지않습니까? 괴델의 불완정성 정리가 왜 해결된 문제에 해당이 되어야 하는지 이해가 안되는군요. 제가 잘 모르고 하는 말일지는 모르겠으나.. 모든 수학의 분야는 원칙적으로 set 이론으로 환원이 가능합니다. 컴퓨터쪽은 잘 모르겠으나 아는 한도에서 비유를 해 보자면 다른 사람들이 만들어 놓은 언어와 코드를 일절 사용하지 않고 010101등으로 이루어진 기계어로 프로그래밍하는 격이라고 보면 될것 같군요. 더구나 이론적으로 완전한 프로그램이라고 증명된 프로그램마저 완전성을 의심하여 기계어로 다시 짜려고 하는 노력 이죠. |