Буль (Boole), Джордж

2 листопада 1815р. - 8 грудня 1864г.

Народився в сім'ї робітника. Перші уроки математики отримав у батька. Хоча хлопчик відвідував місцеву школу, його можна вважати самоучкою. У 12 років знав латину, потім опанував грецькою, французькою, німецькою та італійською мовами. У 16 років вже викладав в сільській школі, а в 20 відкрив власну школу в Лінкольні. У рідкі години дозвілля зачитувався математичними журналами Механічного інституту, цікавився роботами математиків минулого -- Ньютона, Лапласа, Лагранжа, проблемами сучасної алгебри.

Починаючи з 1839 року Буль став надсилати свої роботи в новий Кембриджський математичний журнал. Його перша робота «Дослідження з теорії аналітичних перетворень» стосувалася диференціальних рівнянь, алгебраїчних проблем лінійної трансформації та концепції інваріантності. У своєму дослідженні 1844 року, опублікованому в «Філософські праці Королівського товариства», він торкнувся проблеми взаємодії алгебри та обчислення. У тому ж році молодий вчений був нагороджений медаллю Королівського товариства за внесок у математичний аналіз.

Незабаром після того як Буль переконався, що його алгебра цілком застосовна до логіки, у 1847 році він опублікував памфлет «Математичний аналіз логіки», в якому висловив ідею, що логіка більш близька до математики, ніж до філософії. Ця робота була надзвичайно високо оцінена англійським математиком Огастес (Августустом) Де Морганом. Завдяки цій роботі Буль в 1849 році отримав посаду професора математики Куїнз-коледжу в графстві Корк, незважаючи на те, що він навіть не мав університетської освіти.

У 1854 році опублікував роботу «Дослідження законів мислення, що базуються на математичної логіки та теорії ймовірностей ». Роботи 1847 і 1854 років поклали початок алгебрі логіки, або булевої алгебри. Буль першим показав, що існує аналогія між алгебраїчними і логічними діями, так як і ті, й інші припускають лише два варіанти відповідей - істина чи брехня, нуль або одиниця. Він придумав систему позначень і правил, користуючись якими можна було закодувати будь-які висловлювання, а потім маніпулювати ними як звичайними числами. Булева алгебра мала у своєму розпорядженні трьома основними операціями - І, АБО, НЕ, які дозволяли робити додавання, віднімання, множення, ділення і порівняння символів та чисел. Таким чином, Булю вдалося детально описати двійкову систему числення. У своїй роботі «Закони мислення» (1854г.) Буль остаточно сформулював основи математичної логіки. Він також спробував сформулювати загальний метод ймовірностей, за допомогою якого із заданої системи ймовірних подій можна було б визначити вірогідність подальшого події, логічно пов'язаного з ними.

В 1857 році Буль був обраний членом Лондонського Королівського товариства. Його роботи «Трактат про диференціальних рівняннях »(1859г.) і« Трактат про обчислення граничних різниць »(1860г.) зробили колосальний вплив на розвиток математики. У них знайшли своє відображення найбільш важливі відкриття Буля.

Сьогодні ідеї Буля використовуються у всіх сучасних цифрових пристроях.

Список літератури

Для підготовки даної роботи були використані матеріали з сайту http://www.nt.org/