Кто это
Евклид (около 300 г. до н.э.) — древнегреческий математик, автор «Начал» («Στοιχεῖα») — систематического изложения геометрии и теории чисел на основе аксиом и постулатов, ставшего образцом аксиоматического метода на два с лишним тысячелетия вперёд. Практически ничего достоверно не известно о его биографии; работал, по всей видимости, в Александрии.
Роль в аргументации Хофштадтера
Аксиоматический метод Евклида — исторический прообраз формальных систем в математической логике; именно логическая структура первого предложения «Начал» становится предметом спора Ахилла и Черепахи в диалоге Кэрролла «Что Черепаха сказала Ахиллу».
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | как основатель аксиоматического метода |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Euclid