Со времен Аристотеля (382-322 гг. до н.э.) известна наука логика. Немецкий философ Эммануил Кант (1724-1804 гг.) считал, что эта наука полностью завершила свое развитие. Однако немецкий философ, математик, физик, изобретатель, юрист, историк, лингвист Готфрид Вильгельм Лейбниц (1646-1716 гг.) предпринял попытку логических вычислений. Идеи Лейбница о математической логике не заинтересовали его современников. Какой математик занимался разработкой математической логики?
| 12+ Свидетельство СМИ ЭЛ № ФС 77 - 70917 Лицензия на образовательную деятельность №0001058 |
Пользовательское соглашение Контактная и правовая информация |
Сложность вопроса:
78%
Комментарий к правильному ответу:
Потребовалось еще полтора столетия пока идеи Лейбница воплотились в трудах английского ученого Джорджа Буля (1815-1864 гг.) (на иллюстрации) и появились алфавит, орфография и грамматика для математической логики. Она включает в себя много различных логик: многозначные логики, логику квантовой механики, конструктивную логику и др. Самой важной является элементарная математическая логика. Она служит основой для понимания структуры точных утверждений, развивает мышление.