来自专业的译者、企业、网页和免费的翻译库。
"godel's incompleteness theorems".
"godel's incompleteness theorems".
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
"incompleteness: the proof and paradox of kurt gödel".
"incompleteness: the proof and paradox of kurt gödel".
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
* october 2011 radiolab episode about/including gödel's incompleteness theorem
* october 2011 radiolab episode about/including gödel's incompleteness theorem
最后更新: 2016-03-03
使用频率: 1
质量:
*first-order arithmetic, a chapter of a book on the incompleteness theorems by karl podnieks.
* first-order arithmetic, a chapter of a book on the incompleteness theorems by karl podnieks.
最后更新: 2016-03-03
使用频率: 1
质量:
* per lindström, 1997, "aspects of incompleteness", lecture notes in logic v. 10.
* per lindström, 1997, "aspects of incompleteness", lecture notes in logic v. 10.
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
"there's something about gödel: the complete guide to the incompleteness theorem" john wiley and sons.
"there's something about gödel: the complete guide to the incompleteness theorem" john wiley and sons.
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.
* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
* stewart shapiro, 2002, "incompleteness and inconsistency", "mind", v. 111, pp 817–32.
* stewart shapiro, 2002, "incompleteness and inconsistency", "mind", v. 111, pp 817–32.
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
* dan e. willard (2001), "self-verifying axiom systems, the incompleteness theorem and related reflection principles", "journal of symbolic logic", v. 66 n. 2, pp.
* dan e. willard (2001), "self-verifying axiom systems, the incompleteness theorem and related reflection principles", "journal of symbolic logic", v. 66 n. 2, pp.
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式