Кто это
Давид Гильберт (1862–1943) — немецкий математик, один из крупнейших математиков рубежа XIX–XX веков, профессор Гёттингенского университета. В 1900 году на Международном конгрессе математиков в Париже сформулировал знаменитый список из 23 нерешённых проблем, определивший развитие математики на десятилетия вперёд. Автор «программы Гильберта» — плана доказать непротиворечивость и полноту математики строго формальными, финитными средствами. Именно эту программу в 1931 году разрушили теоремы Гёделя о неполноте, показавшие её принципиальную неосуществимость.
Роль в аргументации Хофштадтера
Программа Гильберта — прямая мишень теорем Гёделя: Гёдель формально доказал, что цель, поставленная Гильбертом (полное и непротиворечивое обоснование математики финитными средствами), недостижима в принципе.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | как автор программы формализации математики, опровергнутой Гёделем |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: David Hilbert