Заключение
Информация,
вводимая в компьютер, состоит из условий
(исходных данных) и программы решения
(алгоритма) и уже содержит результат в
потенциальном, скрытом виде. Соответственно,
работа компьютера не даёт НОВОЙ информации
и при преобразованиях КОЛИЧЕСТВО
ИНФОРМАЦИИ остаётся неизменным, хотя
сама информация может переходить в
потенциальное состояние и обратно.
Хао
Ван заставил компьютер совершать
преобразования, предусмотренные системой
оснований Б.Рассела и А.Уайтхеда, и
получил множество следствий, доказательств
теорем и математических истин. Но машина
- замкнутая сигнальная система, истина
есть некоторый порядок (т.е. содержит
информацию), а новую информацию несут
только независимые истины.
Причиной
невозможности изменить величину
информации в модели (системе, отражающей
отдельные, ограниченные в нужном
направлении стороны явлений), невозможности
самообучения, является 4-й закон логики,
сформулированный Лейбницем - закон
"достаточного
основания".
Он явился первым вариантом закона
сохранения информации.
Однако
Джордж Буль, предложивший алгебру логики
(из которой можно вывести и другие
системы логики, включая классическую
аристотелеву логику модусов), также
установил изоморфность алгебры логики
теории вероятностей: согласно определению,
теория вероятностей есть булева алгебра
с переменной нормой, изменяющейся от 0
до 1 (где 0 - ложь, 1 - истина, 1/2 -
неопределённость). Именно в процессе
изменения нормы увеличивается полнота
и ценность информации, создаются условия
для её накопления. Поэтому, кстати, столь
большое внимание уделяется генераторам
случайных чисел.
10