Кто это
Готтлоб Фреге (1848–1925) — немецкий математик, логик и философ, основоположник современной математической логики и философии языка. В труде «Begriffsschrift» (1879) впервые построил формальную систему исчисления предикатов; в «Grundgesetze der Arithmetik» пытался свести арифметику к логике. В 1902 году, когда второй том его главного труда уже готовился к печати, получил письмо от Бертрана Рассела, указавшего на противоречие в его системе («парадокс Рассела») — эпизод, ставший символом кризиса оснований математики.
Роль в аргументации Хофштадтера
Фреге — прямой предшественник Рассела, Уайтхеда и Гёделя в цепи попыток формализовать математику; крушение его системы из-за парадокса Рассела — исторический пролог к теоремам Гёделя о неполноте.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | в перечне логиков, заложивших формальную математическую логику |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Gottlob Frege