Теорема Гёделя о полноте человеческим языком опытного педагога: 1, 2 и 3.
Ну и главная работа Гёделя, которая вывела математику и вообще философию из второго кризиса, теорема Гёделя о неполноте: 1, 2, 3, 4 и 5.
Гёдель один из трех математиков (другие два: Эйнштейн и Рассел) которые неплохо понимали, что они делают. Сейчас конечно все изменилось и математика в глубокой жопе. Приходится находить радость в функциальном подходе и теории категорий. Эти штуки дают призрачную…
