тогда не существует эффективной процедуры для перечисления аксиом субъективной математики. Требование эффективности аксиоматического базиса субъективной математики реализуется, прежде всего, в том, что самые элементарные математические истины представлены примитивно – рекурсивными структурами математического мышления.
По Гёделю каждое рекурсивное отношение является арифметическим. Неполнота элементарной арифметики, доказанная теоремой Геделя, является результатом использования сложных синтаксических структур. Одной из составляющих метода Геделя является феномен кодирования. Геделевская примитивно – рекурсивная арифметизация синтаксиса позволяет отобразить исследование синтаксических манипуляций в саму арифметику, и установить их внутри формальной системы арифметики.
В дальнейшем, после Гёделя, А. Тарский доказал в своей теореме, что понятие истинности не может быть выражено на языке логики, формального дедуктивного метода не учитывающего содержательную часть языка по Канту.
По Тарскому необходимо для выяснения истинности учитывать семантику (содержание) любого языка, в том числе и формального. Это, означает, что дедуктивный или аксиоматический метод по Гильберту не всесилен в поисках истины и не может быть признан единственно возможным.
Отсюда следует правота Канта, который утверждал, что человеческий мозг, разум и мышление можно понять и возможно смоделировать только на основе его новой содержательной (трансцендентальной) логике действия (новой науки).
Хотя он сомневался в том что это «искусство», по его мнению, когда ни будь сможет понять человек.
Отсюда можно можно сделать вывод о том, что теорема о неполноте по Гёделю, которая относится к формальным дедуктивным системам исчисления по Аристотелю, не может претендовать на право запрета разработки машинного искусственного разума, основанного на содержательной (трансцендентальной) логики по Канту.
Таким образом можно предположить, что разработка имитатора человеческого мозга разума и мышления по Канту вполне осуществима.
В настоящее время существует мнение, что необходимо разработать новый метод и МРМ, с помощью которых можно было бы адекватно описать процесс мышления, учитывающего вероятностную природу индуктивного умозаключения, метод проб и ошибок для получения опыта, а также фактор случая при выработке решения.
Исходя из вышеизложенного, следует актуальность создания МРМ.
Разработка антропоморфного машинного искусственного мозга (АМИМ), подобного природной модели в виде человеческого мозга, разума и мышления по Канту, является в настоящее время фундаментальным направлением развития современной науки и техники.
На современном этапе развития науки принято по Канту, что мозг человека, как и других животных, работает с образами, отражающими объекты, субъекты,