Hilbert's program
attempt to formalize all of mathematics, based on a finite set of axioms
Press Enter · cited answer in seconds
0 sources
Hilbert's program
Summary
Hilbert's program is a theory[1]. It draws 111 Wikipedia views per month (theory category, ranking #106 of 323).[2]
Key Facts
- Hilbert's program's instance of is recorded as theory[3].
- David Hilbert is named after Hilbert's program[4].
- Hilbert's program's GND ID is recorded as 4209255-3[5].
- Hilbert's program's Freebase ID is recorded as /m/02vz8z[6].
- Hilbert's program's different from is recorded as Hilbert's problems[7].
- Hilbert's program's Stanford Encyclopedia of Philosophy ID is recorded as hilbert-program[8].
- Hilbert's program's nLab ID is recorded as Hilbert's program[9].
- Hilbert's program's Microsoft Academic ID is recorded as 2781311995[10].
- Hilbert's program's ProofWiki ID is recorded as Definition:Hilbert's_Program[11].
- Hilbert's program's PlanetMath ID is recorded as AnOutlineOfHilbertsProgramme[12].
Why It Matters
Hilbert's program draws 111 Wikipedia views per month (theory category, ranking #106 of 323).[2] It has Wikipedia articles in 18 language editions, a strong signal of global cultural recognition.[13]