Кригер Борис - Как доказать недоказуемое

В этой книге утверждается, что важнейшие моменты рационального исследования начинаются не с успеха, а с неудачи. Когда доказательство рушится, когда система замолкает перед истинами, которые кажутся стабильными и четко определенными, открывается нечто существенное — не о самой истине, а о пределах системы, призванной ее зафиксировать. Перемещаясь между логикой, математикой и физикой, книга показывает, как неразрешимость и недоказуемость функционируют не как стены, а как сигналы, направляющие исследование к более адекватным формам объяснения. Формальная строгость сохраняется без фетишизации замкнутости, а реализм защищается без наивности. Результатом является последовательное размышление о том, как на самом деле развивается знание: посредством контролируемого расширения, структурного понимания и интеллектуальной ответственности. Написанная как для специалистов, так и для вдумчивых неспециалистов, эта работа предлагает единое видение разума как адаптивной практики, формируемой его ограничениями и укрепляемой ими.

Перевод с английского. Название оригинала Truth Beyond Proof