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

メタ数学 メタすうがく

大辞林 第三版の解説

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

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

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

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

今日のキーワード

だまし面接

企業が面談や懇談会と称して就職活動中の学生を呼び出し、実質的には学生を選考する偽装面接のこと。2016年卒業の大学生に対する選考活動の開始時期を、従来の4月1日から8月1日以降へと後ろ倒しする主旨の「...

続きを読む

コトバンク for iPhone

コトバンク for Android