查询词典 foundations of mathematics

The FoCM Workshop on Learning Theory supports and promotes research on foundations of computational mathematics.

FoCM的学习理论研讨会在支持与促进计算机数学的基础研究。。

International journal for the history of mathematical logic, set theory, and foundations of mathematics.

关于数理逻辑、集合论、数学基础的历史的国际杂志

Foundations of mathematics and logic.

形而上学基础上有强烈的研究兴趣。

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

有一天，希尔伯特对它的听众说：数学基础存在两个极大的危机。

Babylonian scholars completed maps of constellations, and created the foundations of modern astronomy and mathematics.

巴比伦的学者完成了星座图，为现代天文学和数学创造了基础。

In Introduction to Mathematical Philosophy, the later view as Russel refer to is about mathematical philosophy and foundations of mathematics.

罗素在《数学哲学导论》中所说的后一方向既数学哲学或数学基础。

With the Wikipedia approach, you'll also quickly find your way to the Foundations of Mathematics, the Rome to which all roads lead.

凭借着维基百科，你也能快速的找到一条了解基本原理的途径，条条大道通罗马。

With the Wikipedia approach, you'll also quickly find your way to the Foundations of Mathematics, the Rome to which all math roads lead.

凭借着维基百科，你也能快速的找到一条了解数学基本原理的途径，条条大道通罗马。

Since its inception, mathematical logic has contributed to, and has been motivated by, the study of foundations of mathematics.

程序语言学、语义学的研究从模型论衍生而来，而程序验证则从模型论的模型检测衍生而来。

In Introduction to Mathematical Philosophy, the later view as Russel refer to is about mathematical philosophy and foundations of mathematics.

罗素在《数学哲学导论》中所说的后1方向既数学哲学或数学基础。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。