01840 Творцы миров

Немецкий математик и логик Гёдель еще в начале ХХ века доказал сей факт своей теоремой о неполноте. Он утверждал, что в рамках непротиворечивой системы невозможно охватить все следствия из той или иной теории. Всегда есть следствия, неисчислимые и невыводимые из первоначального круга теорем. А значит, и мышление человека принципиально не раскладывается на машинные алгоритмы.

Как заметил один из крупнейших физиков современности, Роджер Пенроуз, «неалгоритмические процессы должны играть в физическом мире весьма существенную роль. И я склонен к тому, что эта роль тесно связана с самим понятием разума… Разум мог бы играть роль таинственного связующего звена между физическим миром и математическим миром Платона…»