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

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

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

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

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

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

Related Post

Хто зображений на Волгу?Хто зображений на Волгу?

На барельєфах головного корпусу ВолДУ зображено Костянтин Ціолковський, Микола Жуковський, Микола Лобачевський, Олександр Пушкін, Михайло Ломоносов, Дмитро Менделєєв, Лев Толстой, Володимир Ленін. Розмір – 131,5 × 281 см (за іншими

Що зміниться для держслужбовців-пенсіонерів?Що зміниться для держслужбовців-пенсіонерів?

Майбутні правила для державних службовців Збільшення встановленого законом віку до 64 років до 2030 року, збільшення страхового стажу до 43 років з 2027 року, пенсійний вік без зниження до 67

Які природні ресурси є в Актобі?Які природні ресурси є в Актобі?

Актобе багатий на природні ресурси, в регіоні є близько 340 родовищ корисних копалин, включаючи нафту, природний газ, феросплави, вугілля та золото, а також велике родовище хрому, що посідає друге місце