セーフサーチ：オン
| 例文 |
hilbert's programの部分一致の例文一覧と使い方
該当件数 : 1件
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. 例文帳に追加
この「不完全性定理」は,ヒルベルトの数学形式化プログラムに終止符を打ち,当然ながら,今世紀の数学の基礎における最も重要な成果であると見なされている． - コンピューター用語辞典
| 例文 |
 | Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
