Математика как фундамент реальности: Харви Фридман о доказательствах, ангелах и бесконечности 0:00
Математик Харви Фридман, прославившийся как самый молодой профессор в истории Стэнфордского университета, в разговоре с Куртом Джаймунгалом обсуждает текущее состояние логических основ математики. Фридман утверждает, что привычная система аксиом ZFC (теория множеств Цермело-Френкеля), считающаяся «золотым стандартом», не обладает достаточной мощностью для описания многих математических явлений, которые близки к реальности. В центре его исследовательской программы, которой он посвятил 60 лет, лежит поиск «ощутимой» или «конкретной» неполноты, где математические утверждения оказываются независимыми от ZFC.
🧩 Что не так с теоремами Гёделя? 1:54
По мнению Фридмана, популярная интерпретация теорем Гёделя о неполноте часто бывает неверной. Большинство людей ошибочно полагают, что эти теоремы лишают нас возможности что-либо знать наверняка. Однако Фридман поясняет:
- Первая теорема гласит лишь то, что в любой достаточно сильной логической системе всегда найдутся утверждения, которые невозможно ни доказать, ни опровергнуть внутри неё.
- Вторая теорема указывает на то, что система не может доказать собственную непротиворечивость.
Фридман отмечает, что оригинальные примеры Гёделя были крайне абстрактными и далекими от того, чем занимаются обычные математики. Его же задача — найти конкретные, не надуманные математические контексты, в которых стандартных аксиом ZFC становится недостаточно.
📈 Гипотеза континуума и споры в математике 5:13
Одним из фундаментальных вопросов сет-теории является гипотеза континуума, касающаяся размера множества вещественных чисел. Фридман указывает, что она не является ни доказуемой, ни опровержимой в рамках ZFC. В отличие от Хью Вудина, который считает, что для решения этой задачи нужно искать «высшую правду» в абстрактных мирах множеств, Фридман придерживается иного пути: он считает, что будущее математических основ связано с их связью с обычными, интуитивно понятными объектами.
🌳 Число Tree(3) и «оскорбительно» большие числа 41:04
В ходе беседы затрагивается тема чрезвычайно больших чисел, таких как Tree(3). Фридман объясняет, что размер Tree(3) настолько огромен, что его существование невозможно доказать даже в достаточно сильных системах без использования колоссальных ресурсов. Это число связано с теоремой Краскела о бесконечных последовательностях деревьев.
По словам Фридмана, это демонстрирует близкую связь между «оскорбительно» большими конечными числами и самой маленькой формой бесконечности — множеством натуральных чисел. Более того, он выдвигает «безумную» идею: всю математику, включая высшие кардинальные числа, можно представить как конечное явление.
👼 «Божественное» доказательство непротиворечивости 53:13
Одной из самых интригующих концепций Фридмана является «божественная» система доказательства непротиворечивости. Он заимствует у Гёделя идею классификации свойств вещей на положительные и отрицательные:
- Бог — это уникальная сущность, обладающая всеми положительными свойствами.
- Фридман вводит понятие «ангела» как слабого подобия Бога, который обладает не всеми, а только всеми определимыми положительными свойствами.
- Постулируя существование хотя бы одного ангела, он строит систему, в которой можно доказать непротиворечивость ZFC.
Фридман признается, что коллеги реагировали на это по-разному, от шуток о попытке получить гранты Templeton Foundation до серьезного научного признания в рецензируемых журналах.
🎓 Советы молодым исследователям 1:14:30
Фридман подчеркивает, что сфера «вложенной максимальности» (embedded maximality) — это новая и невероятно богатая область, в которой скрыто множество открытых вопросов. Он советует сначала освоить стандартный математический инструментарий, но при этом не бояться пробовать свои силы в фундаментальных проблемах.
Завершая разговор, Фридман делится размышлениями о «цифровом бессмертии». Он полагает, что ИИ со временем сможет настолько точно моделировать личность на основе данных, что общение с «цифровым слепком» ушедшего человека станет обычным делом, позволяя продолжать диалог даже после физической смерти.
