Если все это принять на веру, то аргумент «от Маккаллока–Питтса» действительно доказывает то, что с его помощью хотят доказать. Если же о «мышлении» иметь более конкретные и содержательные представления, то теорема Маккаллока–Питтса доказывает [271] возможность его замоделировать в машине ничуть не больше, чем теорема Пифагора.
Теорема Маккаллока–Питтса действительно устанавливает, что в виде «формальной нервной сети» можно реализовать любую из тех «функций естественной нервной сети», которая принципиально поддается «логическому (тут – формально-непротиворечивому) описанию с помощью конечного числа слов». Не рискнем оспаривать самое эту теорему.
Но ведь за всем этим остается еще маленький, но весьма коварный вопросец, – а представляет ли собою «мышление» такую функцию, т.е. поддается ли оно такому «описанию»?
Только не надо забывать, что тут имеется в виду именно мышление, а не какая-либо частная «конечная» форма или случай его применения. Логика как наука давно убедилась, что создать формально-непротиворечивое «описание» всех логических форм не так легко, как пообещать. Более того, у логики имеются серьезные основания для утверждения, что эта затея так же неосуществима, как и вечный двигатель. И неосуществима по той причине, что формально-логическая непротиворечивость описания каждой частной формы работы интеллекта неизбежно компенсируется противоречивостью внутри полного «синтеза» всех этих частных логических форм, внутри логики в целом.