| [ KAIST ] in KIDS 글 쓴 이(By): guest (guest) <218.236.132.103> 날 짜 (Date): 2003년 3월 11일 화요일 오후 09시 06분 15초 제 목(Title): Re: 일더하기 일은 이의 증명 Is it _really_ true that you can prove Fermat's theorem using the axiom system, in principle? I'm just curious, because there are theorems about numbers you cannot prove using the system (for example consider the Godel's theorem): so the claim is that those techniques used by Wiles et al. can in principle be reduced to proofs within the axiom system. |