Artificial mind

Обсуждая идею машинного разума, вспомнил такую штуку. Абстрагируясь от деталей железа и окружения, программу можно представить в виде терма в типизированном лямбда-исчислении. При этом, согласно известному изоморфизму, тип этого терма соответствует некоторому логическому высказыванию, а сам терм представляет собой доказательство этого высказывания (см. тут и тут). Процесс исполнения программы, вычисления, есть процесс упрощения доказательства. Например, программу без аргументов, вычисляющую миллиардный бит числа Пи, можно упростить вплоть до одного числа 0 - ответа. Если у программы есть входные данные, они становятся частью доказываемого высказывания. Логика, в которой все происходит, состоит из набора правил для вывода одних высказываний из других. Правила эти делятся на два вида: для каждой логической связки (конъюнкция, дизъюнкция, импликация...) есть правило ее ввода и правило избавления от нее. Либо мы что-то строим, либо разбираем. Конструкторы типов, строящие структуры, варианты, функции и пр. и "деструкторы" - способы разобрать значение, проанализировать его - тот же паттерн-матчинг. Все как бы сводится к двум аспектам: синтез и анализ.

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

Что интересно, тибетские исследователи естественного интеллекта века этак с 7-го определяют относительную природу ума, т.е. суть всей мыслительной деятельности тремя словами:
"сэл риг цам"
Первое переводят как ясность (clarity), и оно обозначает процесс создания образов. Когда мы о чем-то думаем или что-то воспринимаем, ум создает образ объекта, эдакую ментальную голограмму. Второе слово переводят как осознавание (awareness), и оно обозначает процесс познания этих образов, их восприятия (cognitive engagement). А третье слово переводится как "просто" (merely), и означает, что кроме этих двух аспектов больше ничего и нет. Т.е. опять ровно те же два момента: синтез и анализ, к ним сводится вся умственная деятельность. Прямо как в логике, т.е. как в лямбда-исчислении, т.е. как в программах.

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