...oger Penrose)认为能证明人脑与电脑基本差异的就是只世界某些最抽象,最精确问题的「基础数学(the Foundations of Mathematics)CHAP.11 人脑..
基于16个网页-相关网页
1939年图灵回到剑桥，聆听了维特根斯坦关于数学基本原理（foundations of mathematics）的讲座。他们激烈地争论，图灵为形式主义辩护，而维根斯坦则认为把数学抬得太高而且不能发现任何绝对真理。
基于12个网页-相关网页
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.
有一天，希尔伯特对它的听众说：数学基础存在两个极大的危机。
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.
这项工程至关重要，它奠定了将逻辑引入数学的基石，令后人得以借此途径探索未知世界。
The Mon Calamari then taught this new generation of Quarren mathematics, philosophy, science and the other foundations of civilization.
然后蒙卡拉马里人教给新一代夸润人数学，哲学，科学和其他文明社会的基础知识。
应用推荐