Мало какая статья может претендовать на статус работы, лежавшей в основании целой области исследований. Написанную в 1943 году «Логическое исчисление идей, имманентных нервной деятельности» Уолтера Питтса и Уоррена Маккалока можно считать одной из таких. Маккалок и Питтс предложили простую модель искусственной нейросети: она состоит из формальных нейронов, которые получают сигналы от других нейронов и в ответ либо «включаются», либо нет. Они показали, что если правильно соединить такие элементы, то такая сеть сможет выполнять логические операции пропозициональной логики и обрабатывать рассуждения по строгим правилам. Эта модель задумывалась как грубая схема работы мозга, но для реального мозга оказалась слишком упрощённой. Зато она стала одним из дальних предков современных нейросетей и, в конечном счёте, великих и ужасных больших языковых моделей. Удивительно много связывает эту статью с философией, и совсем не только в связи с грядущими спорами об искусственном интеллекте. Само название вызывает ассоциации с «идеям» британских эмпириков – общим роду ментальных сущностей, таких как понятия или ощущения. В более ранних работах Маккалок пользовался собственным термином – психон, гипотетический «атом психики». Психоны содержат нечто вроде пропозиции о причине своего возникновения, этакий отпечаток или впечатление, и передают это содержание другим связанным с ними психонам. Наша ментальная жизнь сводима к сложной логической конструкции таких психонов. В этих описаниях узнаются следы британских эмпириков, Лейбница и теорий чувственных данных. И это вовсе неудивительно: в университете Маккалок изучал психологию и философию. Философией он был увлечен вполне серьезно. Чего стоит его 60-страничное введение к книге Эйлхарда фон Домаруса «Логическая структура ума», в которой Маккалок по ходу дела обсуждает Аристотеля, британских эмпириков, немецкий идеализм, Пирса и Тарского. Называется это введение LEKTON – та самая штука, которую, согласно некоторым авторам, Фреге украл у стоиков и назвал Sinn. Именно такой lekton, нечто третье между знаком и миром, по мнению Маккалока, нам очень нужен, чтобы объяснить интенциональность ума. Формальная модель нейронной сети Маккалоку была, кстати, тоже нужна не только из увлечения нейрофизиологией. Маккалок хотел, ни много ни мало, решить mind-body problem, в рамках которой считал способность нашего ума производить формальные операции его ключевой ментальной характеристикой. Описав мозг как каузальную систему, способную реализовывать логические операции и выводы, мы сможем показать, каким образом физическая система может обладать ментальными свойствами. Соавтор Маккалока, Уолтер Питтс, гениальный математик-самоучка, помог ему с этой задачей. Для построения требуемой формальной системы Питтс использовал идею логических исчислений Рассела и Уайтхеда из Principia Mathematica. Согласно воспоминаниям, познакомился с этой книгой Питтс так: в школе он прятался от хулиганов в библиотеке, наткнулся там на неё, а затем прочитал за три дня. Позже он написал Расселу письмо, в котором перечислил некоторые ошибки его работы. Рассел действительно ответил Питтсу, высоко оценил его замечания и пригласил его учиться в Кембридж. Увы, двенадцатилетний Питтс отказался. Помимо этого, в «Логическом исчислении идей» Питтс решил воспользоваться и не слишком популярным на тот момент формальным аппаратом Рудольфа Карнапа из недавно написанного «Логического синтаксиса языка». Угадайте, как Питтс познакомился с Карнапом? Правильно: он прочел книгу, ворвался в кабинет Карнапа, начал разъяснять ошибки в его работе и, так и не представившись, покинул кабинет. Карнап долго искал этого молодого человека и, когда нашел, предложил ему работу в университете. Несколько лет спустя Питтс встретится с Маккалоком и воспользуется своим техническим мастерством, чтобы помочь ему описать формальную нейронную сеть. В общем, удивительно, как самые разные творческие идеи связываются между собой и порождают что-то совсем неожиданное, что затем