更改

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

2020年11月26日 (四) 20:21的版本

添加217字节、 2020年11月26日 (四) 20:21

第738行：第738行：

** Volume 1: Philosophie I Maximen 0 / Philosophy I Maxims 0 {{isbn|978-3-11-058374-8}}.

** Volume 1: Philosophie I Maximen 0 / Philosophy I Maxims 0 {{isbn|978-3-11-058374-8}}.

−

==See ~~also~~==

+

==See also请参阅==

{{Portal|Biography|Philosophy}}

{{Portal|Biography|Philosophy}}

第754行：第754行：

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

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

+

{{Portal{传记}哲学}}

+

*[[哥德尔机器]]

+

+

*[[哥德尔奖]]

+

+

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

+

+

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

+

+

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

+

+

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

==Notes==

==Notes==

水流心不竞

561

个编辑

取自“https://wiki.swarma.org/index.php/特殊:移动版差异/19260”