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

Британский философ и математик (1872 - 1970), один из основателей аналитической философии.