foundations of mathematicsとは 意味・読み方・使い方

a theory in mathematics called foundations of mathematics発音を聞く 例文帳に追加

数学基礎論という数学理論 - EDR日英対訳辞書

This "incompleteness theorem" ended Hilbert's program of formalizing mathematics and is rightfully regarded as the most important result in the foundations of mathematics in this century.発音を聞く 例文帳に追加

この「不完全性定理」は,ヒルベルトの数学形式化プログラムに終止符を打ち,当然ながら,今世紀の数学の基礎における最も重要な成果であると見なされている． - コンピューター用語辞典

He wrote a mathematical treatise called "Hatsubi sanpo" in 1674, and invented a notation system for algebra (which was called Tensan jutsu) to allow computations on paper, and laid the foundations on which more advanced discoveries in the field of Japanese mathematics could later be reached.発音を聞く 例文帳に追加

延宝2年（1674年）、『発微算法』を著し、筆算による代数の計算法（点竄術、てんざんじゅつ）を発明して、和算が高等数学として発展するための基礎をつくった。 - Wikipedia日英京都関連文書対訳コーパス