Хто заклав основи математичної логіки?

2 листопада 1815 року народився видатний англійський математик та логік Джордж Буль. Одним із головних успіхів у його житті стало створення в середині XIX століття математичної логіки – розділу математики, що будується на застосуванні формальних математичних методів для вирішення логічних завдань.

George Boole Джордж Буль (англ. George Boole; 2 листопада 1815, Лінкольн – 8 грудня 1864, Баллінтемпл, графство Корк, Ірландія) – англійський математик і логік. Професор математики Королівського коледжу Корка (нині Університетський коледж Корк) з 1849 року. Один із засновників математичної логіки.

Великий внесок у розвиток математичної логіки вніс російський астроном, логік та математик, професор Казанського університету П. С. Порецький.

створив математичний аналіз – диференційне та інтегральне обчислення, засновані на нескінченно малих; створив комбінаторику як науку. заклав основи математичної логіки; описав двійкову систему числення з цифрами 0 і 1.

Готфрід Вільгельм Лейбніц
Місце роботиЛейпцизький університет

Related Post

Ким був Клаус у Щоденниках вампіра?Ким був Клаус у Щоденниках вампіра?

Клаус Майклсон – могутній представник вампірського роду, вік якого налічує більше 1000 років. Він став першим зверненим вампіром, їжею для яких є людська кров. Клаус Майклсон – персонаж популярного серіалу

У якому місті є годинниковий завод?У якому місті є годинниковий завод?

Сторінки новітньої історії нашого міста як і раніше, залишаються предметом гордості гличан. Наприкінці 90-х групою акціонерів вартового заводу «Чайка» в Угличі було організовано виробництво настільних та настінних годинників з натурального