Кто это
Джузеппе Пеано (1858–1932) — итальянский математик и логик, автор аксиом Пеано (1889) — формальной аксиоматизации арифметики натуральных чисел, ставшей стандартной отправной точкой для последующих работ по основаниям математики, включая теоремы Гёделя. Создал также один из первых формальных логических языков и внёс вклад в математическую нотацию (часть современных обозначений теории множеств восходит к нему).
Роль в аргументации Хофштадтера
Аксиомы Пеано — именно та формальная арифметическая система, для которой в конечном счёте были доказаны теоремы Гёделя о неполноте (Гёдель работал с системой, включающей арифметику Пеано, «упакованную» внутрь Principia Mathematica).
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | в перечне логиков, заложивших формальную математическую логику |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Giuseppe Peano