История вычислительной техники. Казакова И.А. - 51 стр.

     Однако при всей своей гени-
альности Г. Лейбниц так и не смог
найти полезного применения полу-
ченным результатам. Изобретенный
им арифмометр предназначался для
работы с десятичными числами, и
Г. Лейбниц не стал переделывать
его под двоичные числа. В дальней-
шем Г. Лейбницу приходила мысль
использовать двоичные числа в вы-
числительном устройстве, но он
даже не пытался построить такую
машину.                            Рис. 42. Медаль Г. В. Лейбница

      Математическая логика Джорджа Буля. Более чем через
сто лет после смерти Г. Лейбница английский математик-самоучка
Джордж Буль (1815–1864) (отец писательницы Э. Л. Войнич) занял-
ся разработкой универсального языка, о котором упоминал в своих
сочинениях Г. В. Лейбниц.
                           В 1847 г. Дж. Буль написал важную
                      статью на тему «Математический анализ
                      логики», а в 1854 г. развил свои идеи в ра-
                      боте под названием «Исследование законов
                      мышления». Эти основополагающие труды
                      Дж. Буля внесли поистине революционные
                      изменения в логику как науку.
                           Дж. Буль изобрел своеобразную ал-
                      гебру, впоследствии названную его именем
                      (Булева алгебра). Это была система обозна-
                      чений и правил, применимая к всевозмож-
     Джордж Буль      ным объектам, от чисел и букв до предло-
                      жений. Пользуясь этой системой, можно
было закодировать высказывания (т.е. утверждения, истинность
или ложность которых требовалось доказать) с помощью симво-
лов своего языка, а затем манипулировать ими подобно тому, как
в математике манипулируют обычными числами. Каждая вели-
чина может принимать одно из двух значений – ДА/НЕТ,
ЛОЖЬ/ИСТИНА.

                               51