コトバンクはYahoo!辞書と技術提携しています。

メタ数学 メタすうがく

大辞林 第三版の解説

メタすうがく【メタ数学】

ヒルベルトの用語。数学を公理から論理的な演繹によって推論されてゆく体系であると考え、その公理論的な体系としての数学自身を対象とする数学的思考。超数学。

出典 三省堂大辞林 第三版について 情報

メタ数学の関連キーワードアルフレッド タルスキーP. ローレンツェンローレンツェンシンタックスヒルベルトタルスキーメタ論理学体系数学演繹公理

今日のキーワード

衣笠祥雄

[生]1947.1.18. 京都プロ野球選手。京都の平安高校時代,捕手として甲子園に出場。高校卒業後,1965年広島東洋カープに入団。内野手に転向し,1970年 10月 19日の対読売ジャイアンツ (...

続きを読む

コトバンク for iPhone

コトバンク for Android