<i>On Formally Undecidable Propositions of Principia Mathematica and Related Systems</i> 论文

1964Physics Today引用 589
DOI
Logic, programming, and type systemsHistory and Theory of MathematicsMathematics and Applications
Logic, programming, and type systemsMathematics and ApplicationsHistory and Theory of Mathematics
关系图谱

3

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (3)

R

Richard Schlegel

B

Bernard D. Meltzer

K

Kurt Gödel

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据