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

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

Это указание на то, что на подобной замене построены, по сути дела, все идеи машинного мышления, является особенно важным для вас, будущих инженеров. Чтобы создать условия для машинного мышления, надо исследовать реальные механизмы содержательного мышления. Но, исследуя, нужно представить их в особой, неадекватной этим механизмам форме законов и закономерностей, в форме формальных правил. Когда мы это сделаем, то сможем запихнуть соответствующую деятельность в машину. Таким путем мы можем заставить машину получить все те продукты, которые мы уже получали содержательным путем, и кроме того все продукты, которых мы еще не получали, но которые могут быть получены с помощью процедур, выраженных в этих правилах.