Зміст:
Визначення - Що означає Джордж Бул?
Джордж Бул (1815–1864) був англійським логіком, математиком та педагогом. Починаючи в Англії шкільним майстром, він став професором математики в Університеті Королеви, Корк, Ірландія. Він створив дві основні роботи з логіки, а саме: "Математичний аналіз логіки" (1847) та "Закони думки" (1854).
Він винайшов булеву алгебру, яка розширила зв’язок між логікою та математикою. Пізніше це стало основою для перевірки обгрунтованості логічних пропозицій, зроблених за допомогою двозначного двійкового символу - істинного чи помилкового. За свій величезний внесок у інформатику, особливо в цифрову комп'ютерну логіку, Бул вважається "батьком інформаційної доби".
Техопедія пояснює Джорджа Була
Бул, який багато в чому займався самоуком, Бул ніколи не відвідував університет. Він змушений був залишити школу в 16 років після краху взуттєвого бізнесу батька. У тому ж році він став помічником вчителя, а згодом відкрив власну школу, коли йому було 20. Незабаром Джордж зацікавився математикою і продовжив відкривати нову галузь математики, відому як інваріантна теорія. У 1844 році за роботу про диференціальні рівняння Булу було присвоєно першу Золоту медаль Лондонського королівського товариства. Незважаючи на те, що Бул не мав університетського ступеня, в 1849 році він був призначений професором математики в Університеті Квінке виключно на основі своїх публікацій.
Бул був одним із перших англійців, що писав на логіку. Він розробив новий тип лінгвістичної алгебри, відомий зараз як булева алгебра, як метод маніпулювання та математичного вирішення логічних аргументів. Бул запропонував, щоб логічні пропозиції можна було звести до алгебраїчних рівнянь, а математичні операнди можна замінити логічними словами, такими як AND, OR і NOT. Він подав загальні алгоритми алгебраїчною мовою, які можна застосувати до різних типів складних аргументів. У своїй праці «Закони думки» він також намагався знайти спільний метод у вірогідності.
