Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Алгебра логики и цифровые компьютеры.docx
Скачиваний:
7
Добавлен:
12.07.2019
Размер:
50.9 Кб
Скачать

Заключение

Информация, вводимая в компьютер, состоит из условий (исходных данных) и программы решения (алгоритма) и уже содержит результат в потенциальном, скрытом виде. Соответственно, работа компьютера не даёт НОВОЙ информации и при преобразованиях КОЛИЧЕСТВО ИНФОРМАЦИИ остаётся неизменным, хотя сама информация может переходить в потенциальное состояние и обратно.

Хао Ван заставил компьютер совершать преобразования, предусмотренные системой оснований Б.Рассела и А.Уайтхеда, и получил множество следствий, доказательств теорем и математических истин. Но машина - замкнутая сигнальная система, истина есть некоторый порядок (т.е. содержит информацию), а новую информацию несут только независимые истины.

Причиной невозможности изменить величину информации в модели (системе, отражающей отдельные, ограниченные в нужном направлении стороны явлений), невозможности самообучения, является 4-й закон логики, сформулированный Лейбницем - закон "достаточного основания". Он явился первым вариантом закона сохранения информации.

Однако Джордж Буль, предложивший алгебру логики (из которой можно вывести и другие системы логики, включая классическую аристотелеву логику модусов), также установил изоморфность алгебры логики теории вероятностей: согласно определению, теория вероятностей есть булева алгебра с переменной нормой, изменяющейся от 0 до 1 (где 0 - ложь, 1 - истина, 1/2 - неопределённость). Именно в процессе изменения нормы увеличивается полнота и ценность информации, создаются условия для её накопления. Поэтому, кстати, столь большое внимание уделяется генераторам случайных чисел.

10