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

Есть довольно популярный вопрос, который часто возникает у любителей популярной науки и во многом следует из здравой логики. Звучит он так: А как вообще математика что-то доказывает? Как строится эта странная логика и почему можно говорить, что, например, математические выкладки Эйнштейна имеют и физический смысл? Ведь по сути человек просто записал цифры и обработал их по какому-то странному механизму. Это очень хороший и невероятно интересный вопрос! Давайте попробуем найти простой ответ, хотя будет и сложно...