Программа Гильберта
Sign in to saveattempt to formalize all of mathematics, based on a finite set of axioms
Wikidata facts
- Instance of
- theory
- Named after
- David Hilbert
Show 1 more fact
- different from
- Hilbert's problems
Sources (2)
via Wikidata · CC0
Article · Русский
Программа Гильберта в математике была сформулирована немецким математиком Давидом Гильбертом в начале 20-го века. Гильберт предположил, что согласованность более сложных систем, таких как теория функций вещественной переменной, может быть доказана в терминах более простых систем. В конечном счете, согласно его предположению, непротиворечивость всей математики может быть сведена к простой арифметике. Теорема Гёделя о неполноте показала, что программа Гильберта не применима к большинству областей математики.
Abstract from DBpedia / Wikipedia · CC BY-SA