更改

库尔特·哥德尔 Kurt Gödel (查看源代码)

删除362字节、 2021年7月12日 (一) 00:12

第265行：第265行：

==另见==

−

* [[~~Gödel machine~~]]

+

* [[哥德尔编码]]

−

* [[Gödel Prize]]

+

<br>

−

* [[List of Austrian scientists]]

−

* [[List of pioneers in computer science]]

−

* [[Mathematical Platonism]]

−

* [[Original proof of Gödel's completeness theorem]]

−

*[[哥德尔机器]]

−

*[[哥德尔奖]]

−

* [[奥地利科学家名单]]

−

* [[计算机科学先驱名单]]

−

* [[数学柏拉图主义]]

−

* [[哥德尔完备性定理的原始证明]]

==参考文献==

7,129

个编辑