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