Кто это
Георг Кантор (1845–1918) — немецкий математик, создатель теории множеств и теории трансфинитных (бесконечных) чисел. Доказал, что не все бесконечности «равны»: мощность множества действительных чисел строго больше мощности множества натуральных чисел (диагональный метод Кантора, 1891) — приём, впоследствии переиспользованный Гёделем для доказательства теорем о неполноте. Работы Кантора о бесконечности были революционными и вызвали серьёзное сопротивление у многих современников, но легли в основу всей математики XX века.
Роль в аргументации Хофштадтера
Диагональный метод Кантора — техническая основа доказательства Гёделя: способ построить утверждение, которое «говорит о себе» и ускользает от любого исчерпывающего списка/системы.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | в перечне логиков, заложивших формальную математическую логику |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Georg Cantor