ヒルベルト・プログラム
Sign in to saveヒルベルトに提唱された数学全体の完全性と無矛盾性を示そうとする試み
Wikidata facts
- Instance of
- theory
- Named after
- David Hilbert
Show 1 more fact
- different from
- Hilbert's problems
Sources (2)
via Wikidata · CC0
Article · 日本語
ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。
Abstract from DBpedia / Wikipedia · CC BY-SA