561
个编辑
更改
跳到导航
跳到搜索
第738行：
第738行： − + 第754行：
第754行： + + + + + + + + + + + +
→See also
** 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}}
* [[Original proof of Gödel's completeness theorem]]
* [[Original proof of Gödel's completeness theorem]]
{{Portal{传记}哲学}}
*[[哥德尔机器]]
*[[哥德尔奖]]
* [[奥地利科学家名单]]
* [[计算机科学先驱名单]]
* [[数学柏拉图主义]]
* [[哥德尔完备性定理的原始证明]]
==Notes==
==Notes==