"괴델 불완전성 정리"의 편집 역사

둘러보기로 가기 검색하러 가기

차이 선택: 비교하려는 판의 라디오 상자를 선택한 다음 엔터나 아래의 버튼을 누르세요.
설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집

  • 최신이전 2014년 9월 23일 (화) 01:41Pythagoras0 토론 기여 229 바이트 +229 새 문서: * Gusfield, Dan. “G"odel for Goldilocks: A Rigorous, Streamlined Proof of G"odel’s First Incompleteness Theorem, Requiring Minimal Background.” arXiv:1409.5944 [cs, Math], Septe...