Home›Hilbert's problems›ヒルベルト・プログラム🌐日本語EnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPortuguêsTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ968548· pop 19· linked from 37 articlesヒルベルト・プログラムヒルベルトに提唱された数学全体の完全性と無矛盾性を示そうとする試みArticle · 日本語ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。Abstract from DBpedia / Wikipedia · CC BY-SAAvailable in 19 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةBahasa IndonesiaConnectionsfoundations of mathematicsEntitymathematicsEntityCategoriesHilbert's problemsMathematical logicProof theory