数理哲学 [
shù lǐ zhé xué]
mathematical philosophy
metamathematics
- 所以中世纪关于共相的大论战在现代数理哲学中又重新爆发了。
Thus it is that the great mediaeval controversy over universals has flared up anew in the modern philosophy of mathematics. - 不过称它为神话,我是仿效上面我在形式主义的名义下提到的那种数理哲学的。
In speaking of it nevertheless as a myth, I echo that philosophy of mathematics to which I alluded earlier under the name of formalism. - 实质上,同样这三个学说以逻辑主义、直觉主义和形式主义的新名称再度出现于二十世纪数理哲学的观点中。
Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.