Древнегреческий философ Аристотель (жил в 384 - 322 годах до Нашей эры) иногда изображается как самоуверенный шут, который делал утверждения, не основанные на каких бы то ни было доказательствах, и был неправ почти во всём...

Чтобы оценить теорему Гёделя, необходимо понимание контекста, в котором произошло революционное открытие Геделя. Я попытаюсь дать неполный обзор истории математической логики. Логика — одна из древнейших научных дисциплин. Формальная традиционная логика была создана в трудах Аристотеля ( 384–322 гг. до н.э.) на заре европейской цивилизации в Древней Греции. Аристотель — автор оригинальной, тщательно разработанной логической системы. Его силлогистика была исторически первой логической дедуктивной системой...