Итак, в компьютерных системах существенна роль программного обеспечения, которое представлено в логических структурах иерархического, дедуктивного порядка и выражено в бинарном языке («да» или «нет»), причем это язык пропозиций (или предложений) утвердительных или отрицательных. Вместе с тем компьютер - это определенного рода «железки», техническая аппаратура определенной сложности, физические процессы в которой «переводят» логические характеристики в двухзначный сигнал или в физические состояния аппаратуры («есть сигнал» или «нет сигнала»). Иными словами, этот «перевод» логических состояний в физические может быть представлен как конструирование изоморфизма между ними и соответственно между состояниями технической аппаратуры и действиями интеллекта.. Именно в этом изоморфизме логических и физических состояний и коренится основная сложность в понимании компьютерного моделирования. Существенно то, что архитектура процессора и всего компьютера не допускает «наложения» одних программ на другие, их корреляции друг с другом, а пропозициональное исчисление строится как
Исходная позиция - та, которую можно назвать слабой версией ИИ: возможна симуляция работы мозга и интеллекта, но невозможно их дублирование по причинам, которые будут отмечены чуть позже.
Достижения в компьютерном моделировании актов интеллекта есть ничто иное, как моделирование вербальных актов интеллекта, т.е. лингвистических и лингво-философских отчетов о работе интеллекта.
«Машина Тьюринга» представляет собой «амплификацию» представлений о мышлении как вычислении, «органопроекцию» программы анализа актов интеллекта как элементарных операций счета.
Логические операции пропозиционального исчисления, развитые в алгебре логики Д.Буля и возведенные в один из канонов стандартной концепции науки в логическом атомизме 20-х гг. XX
века, стали идейным резервом построения компьютерных моделей, обрабатывающих двухзначный сигнал. Поэтому утверждения о том, чтоМною уже были отмечены корреляции между: 1) методом перебора вариантов и концептуальной схемой бихевиоризма; 2) Общим Решателем Проблем и концептуальными схемами гештальт-психологии; 3) программой Бэкона и концептуальными схемами индуктивизма38
39.Ограничилось ли компьютерное моделирование «двузначной логикой» кодирования? Нет, и здесь уже давно выявлены новые возможности. Моделирование трехзначного кодирования в машине «Сетунь», разработанной в МГУ под руководством Н.М.Брусенцова в 1965 г. предполагает построение трехзначной логики (Д.Н. Юрьев, А.С. Карпенко), что открывает новые перспективы в технической разработке нейроподобных элементов и искусственных нейросетей.