Программа Гильберта
Sign in to saveattempt to formalize all of mathematics, based on a finite set of axioms
In the Vinony graph
Within Vinony's link graph, Программа Гильберта is referenced by 37 other articles, and connects out to foundations of mathematics, mathematics and arithmetic.
It is catalogued under topics including Hilbert's problems, Mathematical logic and Proof theory.
Its subject is documented across 19 Wikipedia language editions.
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