2 листопада 1815 року народився видатний англійський математик та логік Джордж Буль. Одним із головних успіхів у його житті стало створення в середині XIX століття математичної логіки – розділу математики, що будується на застосуванні формальних математичних методів для вирішення логічних завдань.
George Boole Джордж Буль (англ. George Boole; 2 листопада 1815, Лінкольн – 8 грудня 1864, Баллінтемпл, графство Корк, Ірландія) – англійський математик і логік. Професор математики Королівського коледжу Корка (нині Університетський коледж Корк) з 1849 року. Один із засновників математичної логіки.
Великий внесок у розвиток математичної логіки вніс російський астроном, логік та математик, професор Казанського університету П. С. Порецький.
створив математичний аналіз – диференційне та інтегральне обчислення, засновані на нескінченно малих; створив комбінаторику як науку. заклав основи математичної логіки; описав двійкову систему числення з цифрами 0 і 1.
Готфрід Вільгельм Лейбніц | |
---|---|
Місце роботи | Лейпцизький університет |