괴델 불완전성 정리
Pythagoras0 (토론 | 기여)님의 2014년 9월 23일 (화) 01:41 판 (새 문서: * 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...)
- 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], September 21, 2014. http://arxiv.org/abs/1409.5944.