Hilbert's program (Q968548)
Jump to navigation
Jump to search
attempt to formalize all of mathematics, based on a finite set of axioms
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hilbert's program |
attempt to formalize all of mathematics, based on a finite set of axioms |
Statements
Identifiers
Sitelinks
Wikipedia(18 entries)
- arwiki برنامج هيلبرت
- cswiki Hilbertův program
- dewiki Hilbertprogramm
- enwiki Hilbert's program
- eswiki Programa de Hilbert
- fawiki برنامه هیلبرت
- frwiki Programme de Hilbert
- hewiki תוכנית הילברט
- idwiki Program Hilbert
- itwiki Programma di Hilbert
- jawiki ヒルベルト・プログラム
- kowiki 힐베르트 프로그램
- nlwiki Programma van Hilbert
- ptwiki Programa de Hilbert
- ruwiki Программа Гильберта
- skwiki Hilbertov program
- ukwiki Програма Гільберта
- zhwiki 希尔伯特计划