Пределы доказуемости
Грегори Чейтин
По мнению Грегори Чейтина, в настоящее время мы все еще не знаем, насколько серьезна неполнота математических методов, а также насколько способны научные теории справиться со сложностью фактов окружающего мира и создать единую теорию, объясняющую их. Отталкиваясь от тезиса Геделя о неизбежной неполноте математики, Чейтин предполагает существование бесконечного множества верных математических теорем, которые невозможно доказать, исходя из конечной системы аксиом, и тем самым ставит вопрос о пересмотре самих математических методов.