-
540 BCE
Пифагор
На основе нумерологии Пифагора появилась такая наука, как теория чисел. Пифагору также принадлежат открытия:
1)теоремы о сумме внутренних углов треугольника;
2)построение правильных многоугольников и деление плоскости на некоторые из них;
3)геометрические способы решения квадратных уравнений;
4)деление чисел на чётные и нечётные, простые и составные; введение фигурных, совершенных и дружественных чисел;
5)открытие иррациональных чисел.
https://ru.wikipedia.org/wiki/Пифагор -
350 BCE
Аристотель (384—322 гг. до н. э.)
Основы логики, науки о законах и формах человеческого мышления, были заложены древнегреческим философом Аристотелем ,который исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления, в том числе законы противоречия и исключения третьего. Вклад Аристотеля в логику весьма велик, недаром другое ее название - Аристотелева логика.
https://ru.wikipedia.org/wiki/Аристотель -
300 BCE
Евклид
Основная масса трудов учёного была написана по математике:
«Начала»;
«О делении фигур»;
«Конические сечения»;
«Поризмы» — о кривых линиях и условиях, их определяющих;
«Псевдария» — трактат об ошибках, возникающих при геометрических доказательствах.
https://ru.wikipedia.org/wiki/Евклид -
Виет, Франсуа
Научные заслуги:
-«формулы Виета» для коэффициентов многочлена как функций его корней.
-Новый тригонометрический метод решения неприводимого кубического уравнения. Виет применил его для решения древней задачи трисекции угла, которую свёл к кубическому уравнению.
-Первый пример бесконечного произведения, формула Виета для приближения числа π.
-Оригинальный метод приближённого решения алгебраических уравнений.
https://studwood.ru/1977150/matematika_himiya_fizika/matematicheskie_dostizheniya -
Готфрид Вильгельм Лейбниц(1646 - 1716)
Немецкий ученый ,указавший пути для перевода логики «из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются совершенно точно» . Лейбниц надеялся даже, что в будущем философы, вместо того чтобы бесплодно спорить, станут брать бумагу и вычислять, кто из них прав . При этом в своих работах Лейбниц затрагивал и двоичную систему счисления.
https://videouroki.net/razrabotki/osnovy-matematicheskoy-logiki.html -
Джордж Буль (1815—1864)
1847-труд «Математический анализ логики,или Опыт исчисления дедуктивных умозаключений».1854-«Исследование законов мышления,на которых основаны математические теории логики и вероятностей».Изобрел своеобразную алгебру-систему обозначений и правил,применимую к любым объектам.Операции булевой алгебры:конъюнкция,дизъюнкция,отрицание.В XX в. был объединен его математический аппарат с двоичной системой счисления.Так заложены основы электронного компьютера.
http://studfiles.net/preview/5316232/page:4/ -
П.С. Порецкий (1846-1907)
В 1887 в Казанском университете читал первые в России лекции по математической логике;разрабатывал алгебру логики. Для этой теории он нашел простые методы решения задачи об отыскании множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия (“О способах решения логических равенств и об обратном способе математической логики”, 1884).http://terme.ru/termin/poreckii-platon-sergeevich.html -
И.И. Жегалкин (1869-1947)
Построил логику высказываний в виде арифметики двух чисел - нуля ("четное") и единицы ("нечетное"), в которой в отличие от обычного способа построения логики высказываний использован не соединительный, а разделительный дизъюнктивный метод, соответствующий сложению в арифметике четного и нечетного. Тем самым была достигнута большая простота в решении логических задач.http://terme.ru/termin/zhegalkin-ivan-ivanovich.html -
Д. Гильберт (1862-1943)
Предложил программу формализации математики, связанную с разработкой оснований самой математики.
Теория инвариантов (1885—1893).
Теория алгебраических чисел (1893—1898).
Основания геометрии (1898—1902).
Принцип Дирихле (математическая физика) и примыкающие к нему проблемы вариационного исчисления и дифференциальных уравнений (1900—1906).
Теория интегральных уравнений (1902—1912).
https://ru.wikipedia.org/wiki/Гильберт,_Давид -
С.К. Клини(1909-1994)
Его работы совместно дали начало разделу математической логики — теории вычислимости.Изобрел регулярные выражения.Его именем названы Алгебра Клини, Звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Внёс важный вклад в теорию конечных автоматов.
Среди наиболее известных работ, издававшихся на русском языке — книги «Введение в метаматематику» и «Математическая логика».
https://ru.wikipedia.org/wiki/Клини,_Стивен_Коул -
А. Черч(1903-1995)
Разработал теорию лямбда-исчислений 1936 года,показавшую существование «неразрешимых задач»(теорема Чёрча — Тьюринга).Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства,доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.Система лямбда-исчислений легла в основу функциональных языков программирования (например, Scheme).https://ru.wikipedia.org/wiki/Чёрч,_Алонзо -
Гёдель, Курт
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение. Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
https://ru.wikipedia.org/wiki/Теорема_Гёделя_о_неполноте -
Сол Крипке
В ранних работах внёс значительный вклад в развитие модальной логики. Последующие работы оказали глубокое влияние на аналитическую философию, наиболее значительным вкладом считается метафизическое описание модальности, включающее идею возможных миров как она объясняется в системе, известной как семантика Крипке. Другим важным достижением является демонстрация того, что существуют необходимые апостериорные истины, такие как «вода есть H2O».
https://ru.wikipedia.org/wiki/Крипке,_Сол -
Хенк Барендрегт
Исследовал λ-исчисления и теории типов, автор λ-куба.
Источник:https://ru.wikipedia.org/wiki/Барендрегт,_Хенк -
Вильгельм Эсслер
Известен работами в области современной дедуктивной и индуктивной логики, металогики, философии науки, теории познания,а также философии Канта. В 1991 г. вышел первый том его «Оснований логики», посвящённый логическому выводу , а в 1993 г. — второй том под названием «Классы, отношения, числа», которые с тех пор неоднократно переиздавались и стали стандартными введениями в соответствующие области логики.https://ru.wikipedia.org/wiki/Эсслер,_Вильгельм