逻辑学家哥德尔（Gdel）的不完备定理就好像一个玩笑那样有意思。
基于156个网页-相关网页
8 歌德尔（Gdel）（1906 — 1978），美籍奥地利数理逻 辑学家，他研究数理逻辑中 的一些带根本性的问题，即 形式系统的完备性和可判定 性问题，指...
基于1个网页-相关网页
...数学原理及其相关系统中的形式不可判定之命题》；库尔特·哥德尔。über formal unentscheidbare Stze der Principia Mathematica und Verwandter Systeme; Gdel 《逻辑困境：库尔特·哥德尔的人生和事业》；约翰·道森。Logical Dilemmas: The Life and Work of Kurt Gdel .
基于1个网页-相关网页