| [ KAIST ] in KIDS 글 쓴 이(By): guest (Abyss) <ropas.kaist.ac.k> 날 짜 (Date): 2003년 3월 12일 수요일 오후 02시 04분 35초 제 목(Title): Re: 일더하기 일은 이의 증명 잘 모르고 해본 얘기였습니다. 페르마의 정리를 이런 식의 기초적인 수론 공리 부터 출발해서 증명하는 것도 엄청난 일이고, 증명할 수 있는지도(괴델 불완전성 정리에 해당해서) 잘 모르는 일이지요. 해당 문장을 "소수는 무한하다"에 대한 증명으로 바꾸면 되겠네요. |