Кто это
Курт Гёдель (28 апреля 1906, Брюнн (ныне Брно) — 14 января 1978, Принстон) — австрийский, позже американский логик и математик, один из важнейших логиков в истории. В 1931 году опубликовал знаменитую статью «О формально неразрешимых предложениях “Principia Mathematica” и родственных систем», доказав теоремы о неполноте (см. Теорема Гёделя о неполноте): в любой достаточно богатой непротиворечивой формальной системе существуют истинные утверждения, недоказуемые средствами самой этой системы. Эмигрировал в США в 1940 году, работал в Институте перспективных исследований в Принстоне, был близким другом Альберта Эйнштейна.
Роль в аргументации Хофштадтера
Гёдель — одна из трёх центральных фигур ГЭБ. Его теорема о неполноте — формально-математический аналог тех же «странных петель» самореференции, что воплощены музыкально у Баха и зрительно у Эшера.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | введён как третья центральная фигура книги, наряду с Бахом и Эшером |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Kurt Gödel