"В.Н.Щеглов. Творческое сознание: интерпретация алгоритма построения " - читать интересную книгу автора

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


Обсуждение принципов интуиционистского анализа
Для содержательной интерпретации и лучшего понимания моделей можно
воспользоваться достаточно хорошо аргументированной гипотезой [3, 4], что
сам "вычислительный" процесс, отображающий возникающие элементы сознания,
реализуется, возможно, квантовым процессом изменения конформных состояний
(КС) молекул белка (тубулина и его димеров), образующего микротрубочки в
цитоплазме нейронов и во многих других клетках. Сходные изменения могут быть
и в других структурах клеток и, прежде всего, в ДНК. По мере обсуждения
некоторых формальных теорий мы будем иногда лишь для наглядности и для
использования интуиции читателя обращаться к подобным физическим
интерпретациям теорий. Для облегчения понимания многих логико-математических
утверждений также часто будем иллюстрировать их, приводя в качестве примеров
соответствующие части вычислительного процесса построения АМКЛ ("алгоритм"
далее). С этой же целью будем качественно обсуждать лишь те аксиомы и
утверждения, которые будут нужны для выявления смысла основных
"вычислительных" процессов сознания.
1. Теория FIM (Foundations of Intuitionistic Mathematics [5, 6])