"Наше поколение не выдвинуло ни одного математика, который мог бы сравниться с ним. Пытаясь разглядеть сквозь завесу времени, какое будущее нам уготовано, Гильберт поставил и рассмотрел двадцать три нерешённые проблемы, которые… действительно сыграли важную роль в развитии математики на протяжении последующих сорока с лишним лет. Любой математик, решивший одну из них, занимал почётное место в математическом сообществе." Герман Вейль В июле 1915 г. Альберт Эйнштейн посетил Геттингенский университет (Германия) по приглашению математика Давида Гильберта...

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