지식로그

[질문] 괴델의불완전성정리에대해서술해주세요

조회수 203 | 2008.03.05 | 문서번호: 2716756
전체 답변:
[지식맨]  2008.03.05

산술을 형식화한 형식체계에서 그 체계가 무모순적인 한, 참이지만 증명할 수 없는 문장(논리식)이 적어도 하나 이상 존재한다는 정리입니다.

[무물보AI] 답변 로딩중...
댓글 달기:
이전 질문:
다음 질문:
관련 질문:
[연관] 괴델의 불완전성정리가 무엇인가요?
[연관] 괴델의 불완전성정리를짧게정리해주세요ㅠㅠ
[연관] 괴델의 불완전성으정리를 논리정연하게 설명해주삼
[연관] 불완전성 정리를 발견한 수학자
[연관] *특 괴델의 업적중 실생활에 쓰이는거 링크
[연관] *특 괴델의 업적중 실생활에 쓰이는거 링크
[연관] 완전,불완전 자동사와 완전,불완전 타동사가 뭐에여? 차이좀 알려주세요
이야기: 더보기

비밀번호를 입력하세요.

이야기 로드하기

당신은 어느 그룹입니까?