...oger Penrose)认为能证明人脑与电脑基本差异的就是只世界某些最抽象,最精确问题的「基础数学(the Foundations of Mathematics)CHAP.11 人脑..
基于16个网页-相关网页
1939年图灵回到剑桥,聆听了维特根斯坦关于数学基本原理(foundations of mathematics)的讲座。他们激烈地争论,图灵为形式主义辩护,而维根斯坦则认为把数学抬得太高而且不能发现任何绝对真理。
基于12个网页-相关网页
foundations of mathematics 数学基础; 维特根斯坦关于数学基本原理 foundations of physics 物理学基础 ..
基于1个网页-相关网页
theory of foundations of mathematics 数学基础理论
the Foundations of Mathematics 基础数学 ; 数学基础
Foundations of Computational Mathematics 计算数学基础 ; 计算数学基本
Part four introduces some uses of IF first-order logic in epistemic logic and in the foundations of mathematics.
第四部分:介绍了IF一阶逻辑在认知逻辑和数学基础方面的一些作用。
参考来源 - 辛提卡IF一阶逻辑研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
On one occasion, Hilbert squeaked to the assembly: There have been two great crises in the Foundations of Mathematics.
有一天,希尔伯特对它的听众说:数学基础存在两个极大的危机。
One may also imagine how distasteful it should be to mathematician to show them that the greatest mathematical conjecture ever, that seems provide the number theoretical foundations of mathematics.
人们可以想象,向一位数学家出示看来为数学提供数论基础的数学猜想是一件多么令人讨厌的事。
This is a work of utmost importance in that it lays the foundations of logic into mathematics and enables us to use this as a tool to explore the unknown.
这项工程至关重要,它奠定了将逻辑引入数学的基石,令后人得以借此途径探索未知世界。
应用推荐