ヒルベルト・プログラム - Wikipedia

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ヒルベルト・プログラム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2019年6月) ヒルベルトは、その証明を形式化することで、数学全体の完全性と無矛盾性を示そうと考えた。具体的には、 数学において真である命題は必ず証明できること 公理から形式化された推論をどれだけ行っても、矛盾が示されることは絶対にないということ という事実を、有限の立場と呼ばれる確かな方法を用いて証明しようとする計画である。有名なヒルベルトの23の問題の2番目で、実数論の無矛盾性の証明を挙げている（よく自然数論の無矛盾性をさすものと誤解されている）。 1900

[daybeforeyesterday]

わぁいヒルベルト・プログラム、あかりヒルベルト・プログラム大好き

[tk18]

ヒルベルト計画

[labunix]

これが出来ると、「街で最初に出会った人に数学とは何かを簡素に説明できる(はず)」という目的があった。