Формальная Философия. Выпуск 1

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

Многие критически относятся к современным моделям АI, потому, что они слишком просты, чтобы поверить, что там может зародится какое-то автономное сознание. Чтобы дать возможность системе зародится и обрести какую-никакую свободу мы должны предоставить этой системе некое пространство, и глубина этого пространства должна находится в языке этой системы. В MLTT такую глубину, которая закрывает даже Гёделевские вопросы, предоставляет иерархия вселенных. Причем она возникает независимо от наших капризов, типы обязаны где-то находиться, поэтому мы в языке выделяем контейнер для типов $U_n$, и говорим, что этот тип содержит все типы (наглядно это демонстрирует индукция-рекурсия, в остальных случая нужно верить тайпчекеру, что все формейшин рулы ядра живут в $U_n$). Естественным образом стает вопрос о границе последовательности $U_i$ стремящейся к $U_\omega$. А дальше последовательность недоступных кардиналов $U_\omega$ : $U_{\omega+1}$. Вселенная Махло представляют собой что-то вроде такой свертки этой последовательности. Такая глубина дает некое спокойствие, что более глубокого пространства для языка мы не предложим для нашей модели сознания, так как мы просто не знаем об этом ничего. Другое отображение этой глубины можно найти в теории инфинити категорий, теории инфинити топосов и их физическим моделям изоморфизмам, различных версиям теории струн. Дыхание такого пространства типов с открытым дном и контрактибл типом в вершине конуса — это та мандала где находятся все рисунки всех формальных философов.

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

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

Вообще хорошая модель мышления, мне думается, должна содержать все основные аспекты математики, из которых я перечислил только три основные глубины (в духе старой школы). Ясно, что такая планка формальной философии будет взята не скоро, а жизнь наша быстротечна и коротка как последний день бархатного сезона. Поэтому, в рамках концепции накопления полезного знания, которое может пригодится для формальных художников будушего, мы можем оцифровывать основные идеи или модели эзотерического знания, чисто для того, чтобы убедится в том что они или: 1) примитивны или шизофреничны до комичности, тем не менее являются инсайтами большого мета-существа; 2) действительно содержат некие глубокие паттерны, которые содержат в себе исключительные объекты и законы абстракции, которые смогут пригодится или быть интересными.