Искусственный ложный Разум и Мир. Геннадий Степанов

Чтение книги онлайн.

СКАЧАТЬ разума и мышления и машинным искусственным разумом является утверждение о том, что человек видит истинность высказывания, что невозможно, как предполагал Гёдель, в случае машины.

      По Гёделю человеческий мозг разум и мышление может доказать, что аксиомы не могут доказать своей собственной непротиворечивости, и в то же время видеть (без доказательства этого из имеющихся аксиом), что те же самые аксиомы правильны, будучи непротиворечивыми. Человеческий мозг разум и мышление тем самым расширяет свой дедуктивный базис, усилив себя до возможности доказательства неполноты предыдущих аксиом из нового множества. Человеческий мозг разум и мышление может повторить эту процедуру в отношении нового дедуктивного базиса на основе эмпирического опыта согласно содержательной (трансцендентальной) логики действия по Канту, и тогда опять уже с новым базисом, и т. д. до бесконечности.

      Таким образом, если у человеческого мозга разума и мышления имеется некоторое конечное правило порождения аксиом, получаемый аксиоматический базис должен быть эффективно перечислимым по Гёделю. Это утверждение по Гёделю чрезвычайно важно для понимания соотношения человека и машины в отношении математического мышления. Если каждая чисто математическая проблема разрешима человеком в принципе, тогда не существует эффективной процедуры для перечисления аксиом субъективной математики. Требование эффективности аксиоматического базиса субъективной математики реализуется, прежде всего, в том, что самые элементарные математические истины представлены примитивно – рекурсивными структурами математического мышления.

      По Гёделю каждое рекурсивное отношение является арифметическим. Неполнота элементарной арифметики, доказанная теоремой Геделя, является результатом использования сложных синтаксических структур. Одной из составляющих метода Геделя является феномен кодирования. Геделевская примитивно – рекурсивная арифметизация синтаксиса позволяет отобразить исследование синтаксических манипуляций в саму арифметику, и установить их внутри формальной системы арифметики.

      В дальнейшем, после Гёделя, А. Тарский доказал в своей теореме, что понятие истинности не может быть выражено на языке логики, формального дедуктивного метода не учитывающего содержательную часть языка по Канту.

      По Тарскому необходимо для выяснения истинности учитывать семантику (содержание) любого языка, в том числе и формального. Это, означает, что дедуктивный или аксиоматический метод по Гильберту не всесилен в поисках истины и не может быть признан единственно возможным.

      Отсюда следует правота Канта, который утверждал, что человеческий мозг, разум и мышление можно понять и возможно смоделировать только на основе его новой содержательной (трансцендентальной) логике действия (новой науки).

      Хотя он сомневался в том что это «искусство», по его мнению, когда ни будь сможет понять человек.

СКАЧАТЬ