지식로그

[질문] 불완전성 정리를 발견한 수학자

조회수 252 | 2008.10.08 | 문서번호: 5489764

전체 답변:
[지식맨]  2008.10.08

괴델입니다^^[자연수론을포함하는무모순인모든공리계A에대하여,A에는결정불가능한명제들이존재한다.즉,A안에는G또는~G를A안에서증명할수없는명제G가존재한다]



지식로그에서 자체 제작한 쇼츠 영상입니다.

🙏 클릭 부탁드려요. 사이트 운영에 큰 도움이 됩니다.

[무물보AI] 답변 로딩중...

댓글 달기:
이전 질문:

다음 질문:

비밀번호를 입력하세요.