역사원문 확인
Letter to John von Neumann (20 March 1956)Kurt Gödel · 1956독일어 손편지(프린스턴, 1956년 3월 20일) · 해설과 핵심 대목의 영문 번역: Juris Hartmanis, 「Gödel, von Neumann and the P=?NP Problem」, Cornell University Computer Science TR 89-994 (1989년 4월) = Bulletin of the EATCS (1989년 6월) 101–107쪽 · 전문 영문 번역: Sipser 1992 의 부록 (Arthur S. Wensinger 옮김)괴델이 폰 노이만에게, 증명을 찾는 일을 기계가 얼마나 빨리 해낼 수 있는지 물은 편지다. P 대 NP 문제가 정식화되기 15년 전에 같은 물음의 핵심을 짚은 사료다. 연결한 Hartmanis 의 글(코넬 대학교 기술 보고서)은 편지가 쓰인 배경과 핵심 대목의 번역을 싣고 있고, 편지 전문의 영문 번역은 sipser-1992 의 부록에 있다. 문제의 역사에 관심 있는 모든 독자에게 권한다.
확인:독일어 손편지가 아니라 영문 번역(Sipser 1992 의 부록, Lipton 의 「The Gödel Letter」 페이지)을 읽음.원문 주소 (ecommons.cornell.edu)이 카드를 붙인 자료 3