On Formally Undecidable Propositions of Principia Mathematica and Related Systems

 

作者: Kurt Go¨del,   B. Meltzer,   Richard Schlegel,  

 

期刊: Physics Today  （AIP Available online 1964）
卷期: Volume 17, issue 1  

页码: 92-96

 

ISSN:0031-9228

 

年代: 1964

 

DOI:10.1063/1.3051400

 

出版商: AIP

 

数据来源: AIP

 

 

点击下载:  PDF (1276KB)

返 回