Но у нас единственная, пожалуй, кафедра, которая занималась наукой, философией, это была кафедра логики. И её возглавлял Войшвилло. Лекции нам читал доцент Меськов. И это меня захватило просто с первых минут. Вот эти лекции. Я стал там, как в таких случаях говорят, активничать. Там масса было смешных историй. Потому что я человек абсолютно не математический. Но тем не менее математическая логика меня настолько захватила, что там даже какие-то прорывные вещи были, которые отмечались. И мне усиленно предлагали остаться на кафедре логики. Это действительно была обстановка научного поиска на этой кафедре. Там витал дух Мамардашвили, Зиновьева. Того, который потом сошёл с ума и стал, так сказать, абсолютным идиотом. Но, в общем-то, тем не менее, он был в начале своей карьеры выдающимся совершенно мыслителем. Поэтому вот его дух там тоже витал. В общем, короче, это вот такая кафедра. И там как раз возникла фамилия Сола Крипке. И мне удалось с помощью руководства кафедры получить доступ к библиотеке, к спецхрану, где хранились вот эти вот книжки только для научных библиотек. Ну и там я проглотил несколько произведений Сола Крипке. Хотя это, в общем, довольно тяжёлое чтение. Итак, вы знаете, у меня была проблема, как излагать философию Сола Крипке, потому что эта философия излагается, ну, как бы, если её излагать, то её надо излагать, в общем, достаточно специфическим языком, через который довольно тяжело продираться. Я придумал один ход. Я начну не с самой философии, а с её практического применения. Потому что очень часто возникает вопрос: «Ну что там ваша философия, что толку? Физика, химия — вот пожалуйста результаты, вот вам, пожалуйста, атомная электростанция, вот вам самолёты летают, корабли плавают и так далее. А вот философия — она только какое-то абстрактное умствование». Так вот, философский мир Сола Крипке, он как раз, хотя абсолютно такой абстрактный, это какие-то мысленные эксперименты, это какой-то полёт философской фантазии, но тем не менее его работы заложили реальный фундамент для того, что из себя представляет сегодня искусственный интеллект. Для того, что из себя представляет современное программирование, современная информатика. То есть созданный им интеллектуальный аппарат сегодня ежедневно используется в программировании и инженерии. Итак, поехали. Значит, первое. Его идея — это так называемая семантика возможных миров. Это то, что называется модель Крипке. Он эту идею использовал для модальной логики. И эти модели сегодня используются, лежат в основе метода проверки моделей. То есть, о чём идёт речь? То есть программы-верификаторы строят граф возможных состояний системы. То есть те самые возможные миры. И здесь математически доказывается, что в коде самолёта, в коде медицинского аппарата какого-то или процессора не возникает критический сбой. То есть логика Крипке используется для описания того, что один сервер знает о состоянии другого сервера в конкретный момент времени. Это то, что называется эпистемологическая логика. Значит, не буду дальше перечислять. Короче говоря, и в анализе протоколов безопасности используются модели Крипке. То есть система моделирует, какую информацию может перехватить злоумышленник в самых разных сценариях, и гарантирует, что секретный ключ останется недоступным. Вот то, что модели Крипке используются в искусственном интеллекте, это выглядит так.
- 22
- 2