ヒルベルトプログラム
数学者ダフィット・ヒルベルトが提唱した、数学全体を有限の立場で形式化し無矛盾性を証明しようとする計画。ゲーデルの不完全性定理により当初の形では遂行不能とされた。
言語学的特徴
—
見出し語
ヒルベルトプログラム
「ヒルベルトプログラム」は、読み「ヒルベルトプログラム」（10文字・10モーラ）の日本語の長い言葉。ジャンルは 自然科学 › 数学 › 数理論理学。数学者ダフィット・ヒルベルトが提唱した、数学全体を有限の立場で形式化し無矛盾性を証明しようとする計画。ゲーデルの不完全性定理により当初の形では遂行不能とされた。