Восток и запад: предпочитает ли бог инициальные алгебры?
Радио, телевидение и попутчики в вечерних электричках уведомят всякого, что „теорема Гёделя о неполноте“ накладывает непреодолимые ограничения на формализацию математики, прокапывая между „доказуемо“ и „истинно“ противопожарную траншею, в которой так удобно петь песни, скатившись даже и с далёкого от математики пригорка ( Read more... )
Я не уверен, что правильно понял вопрос, поэтому дам два ответа.
Доказательство действительно можно считать эйдосом, идеальным объектом. Но даже самый радикальный платонист не считает, что он непосредственно контактирует с эйдосами - это привилегия чинов ангельских иерархий.
Платонисты считают, что познают свойства идеальных объектов используя неидеальные инструменты - доказательства. У такого неидеального доказательства есть, в свою очередь, идеальный прообраз - „идеальное доказательство“, но узнать что-либо про этот идеальный объект можно опять-таки только при помощи неидеальных инструментов: доказательств теорем в „теории доказательств“. При этом „истинность“ (т.е. верность) доказательства не обязательно тождественна истинности доказуемого: истинному высказыванию можно дать неверное доказательство ( ... )
Reply
Таки Вы себя относите к грекам? :)
Reply
Reply
Leave a comment