Действуй, мозг! Квантовая модель разума

На мой взгляд, совершенно ясно, что Тьюринг не делал предположения о том, что машины, вообще говоря, могут мыслить.

Следовательно, эта статья, скажем, к проблеме конструирования ИИ не имеет никакого отношения. И даже не формулирует её.

Какого-либо предположения об устройстве живого мозга, как мы отметили выше, в публикации тоже нет.

Значит, о модели «мозг-компьютер» речь также не идёт.

Так о чём речь? Что интересовало Тьюринга?

«Похож ли компьютер на мозг?» – вот что, по всей видимости, хотел узнать Алан Тьюринг, и поделился этим желанием в статье 1950 года.

Кому, как не Тьюрингу, создателю концепции вычислительного автомата (подробнее – в подглаве «Computor и Computer»), спрашивать об этом? Должны ли мы удивляться, что математик попытался расширить представление о возможностях своей теории вычислений – увидеть ещё одно полезное приложение своему детищу?

В этом контексте пресловутый тест Тьюринга – не сколько-нибудь реальный способ доказать, что робот/автомат/компьютер/ИИ в результате, например, машинного обучения достиг такого уровня интеллектуального развития, что стал неотличим от человека.

Это фольклор, а не наука. Детская сказка. Сюжет для фантастического блокбастера.

Тест Тьюринга – попытка ещё раз проверить ключевую идею математика о том, что вычисления компьютера и вычисления живого мозга имеют единую фундаментальную основу. Проверить, не ошибся ли он, отождествляя эти процессы у машины и человека.

Тот счастливый для современных машинопоклонников день, когда искусственный вычислитель всё-таки пройдёт полный тест Тьюринга, будет означать не то, что компьютер может полностью заменить человеческий мозг, и не то, что якобы состоялось долгожданное рождение ИИ.

Этот день будет означать лишь тот заурядный и давным-давно интуитивно понятный факт, что наш мозг может, в том числе, вычислять, как компьютер.

Только и всего.

Увы, нам пришлось отвлечься и потратить время на разъяснения, чтобы несколько проредить туман, навеянный пылкими «говорящими головами», бессвязно и бездумно повторяющими мантры про разумных роботов, шахматные суперкомпьютеры и тест Тьюринга.

Сделав эту необходимую предварительную работу, возвращаемся к науке – к вычислительной модели живого мозга.

Как в предыдущей главе, попытаемся для начала разобраться, кому, как и почему пришла в голову оригинальная идея – интеллектуальная инновация об устройстве разума.

Бинарная логика, или Какой рост у Сократа?

Идея о механическом мозге родилась в период расцвета механической парадигмы в науке.

Идея о мозге-компьютере появилась во время становления другой научной парадигмы. Назовём её идеей вычисляемой дискретности или, проще, цифровой парадигмой.

Сразу заметим, что под идеей вычисляемой дискретности мы не имеем в виду смутные взгляды воротил мысли из далёкого прошлого. Концепция атомизма древнегреческого философа Демокрита столь же похожа на «монады» Лейбница, сколько аверроизм – на «дуализм» Декарта.

Механическая и цифровая парадигма развивались параллельно, но с временным лагом: по темпу распространения первая значительно опережала вторую.

Поэтому тогда, когда Рене Декарт и Исаак Ньютон предложили уже более-менее проработанное механическое толкование, соответственно, мозга и Вселенной, их современник, другой выдающийся учёный, Готфрид Лейбниц фактически заложил основы принципиально иного, универсального, ответа на фундаментальные вопросы о мироздании, о жизни, о природе бытия и о разуме.

Универсализм – характерная черта творчества Лейбница, профессионального математика и мыслителя с чрезвычайно широким кругозором. В какую бы область познания ни обращался его беспокойный и могучий ум, всюду он стремился найти общий закон.

В математике, независимо от Ньютона, он изобрёл дифференциальное исчисление. В физике, полемизируя с Декартом, дал верную интерпретацию кинетической энергии. В лингвистике пробовал соорудить всеобщий язык, назвав его «универсальной характеристикой». В философии выдумал «монады», которые суть мельчайшие, наделенные духом, свойства бытия.

В каждом случае просматривалась одна и та же мысль: непрерывное движение бесконечно малых величин, подчиненных закону необходимости. Это и есть прообраз идеи вычисляемой дискретности.

Разгадка «загадки атомизма Лейбница», возможно, содержится в его интересе к химии, где становились популярными корпускулярные идеи.

 Но, скорее всего, дело всё в той же математике.

Дифференцирование – развитие идеи числа как отношения величин. Как и Декарт (см. главу 3), Лейбниц, разъясняя суть нового метода исчисления, прибегал к геометрической метафоре: кривизна объекта (например, наклон касательной в данной точке параболы) на данном отрезке определяется отношением приращения значения функции к приращению аргумента: dy/dx.

Сейчас такое отношение принято называть пределом (при условии, что аргумент стремится к нулю).

Эта математическая истина преобразовалась у Лейбница, по выражению историка науки Мартина Дэвиса, в мечту о создании всеобщего закона, который позволил бы сконструировать универсальный язык и универсальную вычислительную машину. Она могла бы, скажем, работать на основе бинарной арифметики, которой математик в 1703 году посвятил специальную работу.

Не вдаваясь в тонкости мировоззрения Лейбница, вряд ли будет натяжкой сопоставить придуманные им «монады» с разумным и активным «субъектом» в понимании Гегеля, а, значит, увидеть в работах великого математика попытку возвести логику в ранг главной науки.

Ведь математическая логика в этом случае выступает как один из инструментов самопознания абсолютного духа, которое Гегель поместил в рамки строгой (в философском смысле) диалектики.

Тогда дискретность, по Лейбницу, есть универсальный принцип, в соответствие с которым развивается «предуготовленная гармония».

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

Несмотря на россыпь остроумных и проницательных догадок, оставленных нам Лейбницем, мы не можем назвать его отцом вычислительной модели разума.

Впрочем, его интеллектуальное наследие не пропало. Им воспользовался математик Джордж Буль: именно ему принадлежит идея о мозге-компьютере.

Джордж Буль, подобно Августину и Декарту, сказал новое слово в теории живого мозга. Суть инновации: наш разум работает по правилам бинарной логики.

Любопытно, что Буль не пытался построить новую модель разума. Он лишь уточнял уже существовавшее и набиравшее популярность представление о мозге, как механизме.

Как и Декарт, который не критиковал модель «разум и чувство» по существу, а лишь слегка, в его представлении, её подправил.

Но вышло так, что скромное уточнение стало начальным звеном в цепочке рассуждений, завершившейся принципиально иным объяснением.

Нас будет интересовать, прежде всего, обобщающая по этой теме работа Джорджа Буля «Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854 год).

Уже само название работы говорит о многом.

Учёный не сомневался, что социальные и психологические процессы подчинены тем же законам статистики, что и движение небесных тел. А наличие свободной воли считал неким субъективным фактом – особенностью нашего самовосприятия.

Математик исходил из того, что человеческий разум сочетает в себе способность к логике и вычислениям. Для Буля это разные вещи: логика может быть нематематической и крайне субъективной, а Вычисления (англ. Calculus) существуют независимо от наших желаний. В указанной работе учёный сделал соответствующее духу времени заявление: «Дело науки – не создавать законы, а открывать их». Что, по его мнению, достигается путём анализа наблюдений и опыта.

Буль постулировал: наш мозг работает по «фундаментальным законам рассуждения на символическом языке исчисления».

Следовательно, задача состоит в том, чтобы описать эти законы, открыть их – создать «науку об интеллектуальных операциях» (англ. science of the intellectual operations).

Разбирая известные со времён Аристотеля правила логики, Буль нашёл их неполными.

Вот, например, классический простой силлогизм:

Все люди смертны.

Сократ – человек.