Биография Джорджа Буля (1815-1864). Изложить суть достижений в сфере логики, рассмотреть биографию

Единицей Буль обозначал универсум мыслимых объектов, буквенными символами — выборки из него, связанные с обычными прилагательными и существительными. Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. В «Законах мышления», Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путём чисто символических манипуляций. Вторая часть «Законов мышления» содержит аналогичную попытку обнаружить общий метод в исчислении вероятностей, позволяющий из заданных вероятностей совокупности событий определить вероятность любого другого события, логически связанного с ними.

В 1857 году Буль был избран членом Королевского общества. Его работы «Трактат о дифференциальных уравнениях» (1859) и «Трактат о вычислении предельных разностей» (1860) оказали колоссальное влияние на развитие математики. В них нашли свое отражение наиболее важные открытия Буля. Идеи Буля нашли применение в использующих двоичный код цифровых компьютерах и в телефонной связи.

Джордж Буль скончался 8 декабря 1864 года.

1.Бочаров В. А. Логик, математик, философ// Экология и жизнь. 2006. № 5. С. 14−16.

2. Иванов Е. И. Логика. — М.: БЕК, 2001. — 368 с.

Бочаров В. А. Логик, математик, философ// Экология и жизнь. 2006. № 5. С. 14

Иванов Е. И. Логика. — М.: БЕК, 2001. — с. 209