Суть
«Principia Mathematica» (1910–1913) — трёхтомный труд Бертрана Рассела и Альфреда Уайтхеда, в котором авторы пытались строго вывести всю математику из небольшого числа логических аксиом с помощью формального символического языка, попутно избегая противоречий вроде обнаруженного самим Расселом «парадокса Рассела». Труд стал главной вершиной программы логицизма и одной из самых амбициозных попыток формализации математики в истории. Именно эта система (точнее, содержащаяся в ней арифметика) стала объектом теорем Гёделя о неполноте: в 1931 году Гёдель опубликовал статью «О формально неразрешимых предложениях Principia Mathematica и родственных систем», показав принципиальную неполноту любой подобной системы.
Где встречается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | как формальная система, для которой доказаны теоремы Гёделя о неполноте |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Principia Mathematica