go top

Foundations of mathematics

  • 数学基础(数学基础包括数理逻辑、公理化集合论、证明论、模型论和递归论等特定领域。数学哲学的核心问题是寻找数学的终极基础,即哪些命题可以被称为“真”)

网络释义专业释义英英释义

  数学基础

数学基础(foundations of mathematics)是从事数学奠基的数学研究。

基于2451个网页-相关网页

  基础数学

...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 计算数学基础 ; 计算数学基本

Foundations of logic and mathematics 基础逻辑与数学

Foundations of Science Mathematics 科学数学基础

 更多收起网络短语
  • 数学基础 - 引用次数:2

    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

Foundations of mathematics

  • abstract: Foundations of mathematics is the study of the basic mathematical concepts (number, geometrical figure, set, function...) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their models giving a meaning to formulas, definitions, proofs, algorithms...

以上来源于: WordNet

双语例句权威例句

  • On one occasion, Hilbert squeaked to the assembly: There have been two great crises in the Foundations of Mathematics.

    一天,希尔伯特听众说:数学基础存在两个极大的危机

    youdao

  • 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.

    人们可以想象一位数学家出示看来数学提供数论基础的数学猜想一件多么令人讨厌的事。

    youdao

  • 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.

    这项工程至关重要奠定了将逻辑引入数学基石后人得以借此途径探索未知世界

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定