Appi Retelling alexersh
"Двадцатичетырехлетний Курт Гёдель одним ударом вбил кол в самое сердце формализма".
— Марио Ливио, "Был ли Бог математиком?", 2013 г.
Сегодня мы поговорим об одном из самых сложных периодов математики. Вопрос оснований математики является одним из самых фундаментальных и важных в философии математики. В конце XIX – начале XX в. математики всех народов разделились на два лагеря. Первый лагерь – лагерь формалистов, считавших, что математика – это игра, задаваемая правилами, придуманными людьми и не имеющая никакого отношения к физической реальности, то есть сторонники аксиоматического подхода. Этот лагерь зародился в работах де Моргана, Буля и Фреге, а затем развивался Расселом, Пеано и Уайтхедом. Стоит отметить, что не все из этих математиков были строгими приверженцами формализма, а просто занимались им как одним из разделов математики.
