-
100 BCE
Аристотель
384 г. до н.э Основы логики, науки о законах и формах человеческого мышления,исследование терминологии логики, теория умозаключений и доказательств, описание ряда логических операций, формулирование основных законов мышления, в том числе законы противоречия и исключения третьего -
Готфрид Вильгельм Лейбниц
Указание пути для перевода логики «из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются совершенно точно» . Лейбниц надеялся даже, что в будущем философы, вместо того чтобы бесплодно спорить, станут брать бумагу и вычислять, кто из них прав . При этом в своих работах Лейбниц затрагивал и двоичную систему счисления. -
Джордж Буль
Буль опубликовал статью «Математический анализ логики, или Опыт исчисления дедуктивных умозаключений», а в -
Джордж Буль
появился главный его труд «Исследование законов мышления, на которых основаны математические теории логики и вероятностей» -
Д. Гильберт
программу формализации математики, связанная с разработкой оснований самой математики -
Современное развитие
в последние десятилетия XX века бурное развитие математической логики было обусловлено развитием теории алгоритмов и алгоритмических языков, теории автоматов, теории графов (С.К. Клини, А. Черч, А.А Марков, П.С. Новиков, Гегель и многие другие)