Лекция 1-2

Математическая логика Джорджа Буля

c. 8

Джордж Буль - этот выдаю­щийся английский ученый первой половины XIX века был самоучкой. Возможно, именно благодаря отсутствию «классического» (в понимании того времени) обра­зования, Джордж Буль внес в логику, как в науку, революционные изменения.

Занимаясь исследованием законов мышления, он применил в логике систему формаль­ных обозначений и правил, близкую к математической. Впоследствии эту систему назвали логической алгеброй или булевой алгеброй. Правила этой системы применимы к самым разнообразным объектам и их группам (множествам, по терминологии автора). Основное назначение системы, по замыс­лу Дж. Буля, состояло в том, чтобы кодировать логические высказывания и сводить структуры логических умозаключений к простым выражени­ям, близким по форме к математическим формулам. Результатом формального расчета логическо­го выражения является одно из двух логических значений: истина или ложь.

Значение логической алгебры долгое время игнорировалось, поскольку ее приемы и методы не содержали практической пользы для науки и техники того времени. Однако, когда появилась принципиальная возможность создания средств вычислительной техники на электронной базе, операции, введенные Булем, оказались весьма полезны. 

Они изначально ориентированы на работу только с двумя сущностями: истина и ложь.
Нетрудно понять, как они пригодились для работы с двоичным кодом, который в современных компьютерах тоже представляется всего двумя сиг­налами: ноль и единица. Не  вся система Джорджа Буля (как и не все предложенные им логические опера­ции) были использованы при создании электронных вычислительных машин, но четыре основные операции:
И (пересечение), ИЛИ (объединение), НЕ (обращение) и ИСКЛЮЧАЮЩЕЕ ИЛИ – лежат в основе работы всех видов процессоров совре­менных компьютеров.

Вы прошли 100% лекции
100%