12:12 11-02-2018
Теорема Гёделя утверждает – описание окружающей природы не может быть исчерпано формальными построениями языка-математики. Разум человека позволяет преодолеть это именно потому, что справедлива теорема Гёделя – разум человека может формулировать не доказанные предположения, позволяющие ему последовательными приближениями описывать процессы и объекты разума природы.
Теорема Гёделя содержит в себе все ограничения исходных предпосылок математики. Поэтому её можно рассматривать как абсолютную истину в пределах этих предпосылок. Но в силу её же результата утверждать, что она есть неревизуемая истина – нельзя. Теорема Гёделя утверждает познаваемость природы потому, что как бы ни был несовершенен (или, наоборот, прекрасен) язык, всегда можно описать то, что выходит за рамки языка – познание природы не зависит от языков (хотя они могут его усложнять или упрощать).
...
Математика “непостижима” эффективна потому, что в ней можно так задать аксиомы, что она будет гарантировать получение результата, согласованного с аксиомами. Но сами аксиомы – произвольны.
А.М. Хазен о познаваемости природы и теореме о неполноте Гёделя