-
540 BCE
Пифагор
На основе нумерологии Пифагора появилась такая наука, как теория чисел. Пифагору также принадлежат открытия:
1)теоремы о сумме внутренних углов треугольника;
2)построение правильных многоугольников и деление плоскости на некоторые из них;
3)геометрические способы решения квадратных уравнений;
4)деление чисел на чётные и нечётные, простые и составные; введение фигурных, совершенных и дружественных чисел;
5)открытие иррациональных чисел.
https://ru.wikipedia.org/wiki/Пифагор -
469 BCE
Сократ
Развил искусство спора для исследования и совершенствования понятий с помощью диалектики (путем последовательного и качественного уточнения и углубления понятий).
Создал т.н. «метод иронии» - последовательное приведение соперника в споре к противоречию с его первоначальным утверждением, после чего начинался совместный поиск истины и уточнение понятия.
https://studopedia.ru/1_112177_filosofiya-sokrata.html -
325 BCE
Евклид
Его главная работа «Начала» содержит изложение планиметрии, стереометрии и ряда вопросов теории чисел; в ней он подвёл итог предшествующему развитию древнегреческой математики и создал фундамент дальнейшего развития математики. Является автором работ по астрономии, оптике, музыке и др.
https://ru.wikipedia.org/wiki/%D0%95%D0%B2%D0%BA%D0%BB%D0%B8%D0%B4
О важности "Начал" для логики вы можете узнать здесь: http://allrefs.net/c1/49oue/p4/ -
287 BCE
Архимед
древнегреческий математик, физик и инженер Сделал множество открытий в области геометрии. Заложил основы механики, гидростатики, был автором ряда важных изобретений.
https://ru.wikipedia.org/wiki/%D0%90%D1%80%D1%85%D0%B8%D0%BC%D0%B5%D0%B4 -
427
Платон
Дошедшие до нас сочинения знаменитого философа содержат важный вклад в развитие философской логики. Платон ставит три вопроса:
Что можно считать истиной и ложью?
Какова природа связи между посылками в рассуждениях и заключениями?
Какова сущность понятий?
https://ru.wikipedia.org/wiki/%D0%98%D1%81%D1%82%D0%BE%D1%80%D0%B8%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B8 -
1170
Леонардо Пизанский
Один из самых великих математиков Средних Веков. Невозможно представить современный бухгалтерский и вообще финансовый учет без использования десятичной системы счисления и арабских цифр, начало использования которых в Европе было положено Леонардо.
https://scisne.net/t-301 -
Рене Декарт
Французский философ, физик и математик Рене Декарт известен своим методом радикального сомнения. Тем не менее, этот ученый внес большой вклад в математику. Вместе с Ньютоном и Лейбницем основал современное исчисление.
https://scisne.net/t-301 -
Виет, Франсуа
Научные заслуги:
-«формулы Виета» для коэффициентов многочлена как функций его корней.
-Новый тригонометрический метод решения неприводимого кубического уравнения. Виет применил его для решения древней задачи трисекции угла, которую свёл к кубическому уравнению.
-Первый пример бесконечного произведения, формула Виета для приближения числа π.
-Оригинальный метод приближённого решения алгебраических уравнений.
https://studwood.ru/1977150/matematika_himiya_fizika/matematicheskie_dostizheniya -
Леонард Эйлер
Считается самым великим математиком в истории человечества. Эйлер оставил важнейшие труды по самым различным отраслям математики, механики, физики, астрономии и по ряду прикладных наук. Эйлер впервые связал анализ, алгебру, тригонометрию, теорию чисел и др. дисциплины в единую систему, и добавил немало собственных открытий. Значительная часть математики преподаётся с тех пор по Эйлеру.
https://scisne.net/t-301 -
Карл Фридрих Гаусс
Считается королем математики. Многие знают о Гауссе из-за его удивительных умственных способностей еще в детстве он мог за секунды сосчитать сумму чисел от 1 до 100. С именем Гаусса связаны фундаментальные исследования почти во всех основных областях математики: алгебре, дифференциальной и неевклидовой геометрии, в математическом анализе, теории функций комплексного переменного, теории вероятностей, а также в астрономии, геодезии и механике.
https://scisne.net/t-301 -
Огастес де Морган
В своей «Формальной логике, или исчислении необходимых и вероятных заключений»[1] де Морган исходил из принципа, что логика должна служить точным выражением мыслей и устранять присущие обыденному языку неясности и двусмысленности. В каждом языке существуют так называемые положительные и отрицательные термины. -
Джордж Буль
Считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику. Недаром начальный раздел математической логики называют алгеброй логики, или булевой алгеброй. https://studwood.ru/1712567/matematika_himiya_fizika/vklad_dzhordzha_bulya_razvitie_matematicheskoy_logiki -
Бернхард Риман
Этот ученый стал одним из самых выдающихся математиков 19 в. У него большой вклад в геометрию, а многие теоремы носят его имя. Гипотеза Римана входит в список семи проблем тысячелетия, за решение каждой из которых Математический институт Клэя выплатит приз в один миллион долларов США.
https://scisne.net/t-301 -
Норберт Винер
Американский учёный, выдающийся математик и философ, основоположник кибернетики и теории искусственного интеллекта. Получил шесть научных наград и степень почётного доктора философии в трёх университетах.
Награды: Стипендия Гуггенхайма (1926-27), Премия имени Бохера (1933), Гиббсовская лекция (1949), Национальная научная медаль США (1963), National Book Award (1965)
https://ru.wikipedia.org/wiki/%D0%92%D0%B8%D0%BD%D0%B5%D1%80,_%D0%9D%D0%BE%D1%80%D0%B1%D0%B5%D1%80%D1%82 -
Александров Павел Сергеевич
Советский математик, академик АН СССР. Профессор МГУ. Лауреат Сталинской премии первой степени, Герой Социалистического Труда.
Основные труды по теории множеств, теории функций вещественного переменного, геометрии, вариационному исчислению, математической логике, основаниям математики.Ввёл понятие компактности
https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80%D0%BE%D0%B2,_%D0%9F%D0%B0%D0%B2%D0%B5%D0%BB_%D0%A1%D0%B5%D1%80%D0%B3%D0%B5%D0%B5%D0%B2%D0%B8%D1%87 -
Алан Тьюринг
Один из самых великих умов 20 в. Во время второй мировой войны он сделал множество открытий и создал методы расшифровки закодированных сообщений немцев. Он также считается одним из первых настоящих ученых, работающих с компьютером.
https://scisne.net/t-301 -
Фридрих Людвиг Готлоб Фреге
Немецкий логик, математик и философ. Представитель школы аналитической философии. Сформулировал идею логицизма, то есть направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике».
https://ru.wikipedia.org/wiki/%D0%A4%D1%80%D0%B5%D0%B3%D0%B5,_%D0%93%D0%BE%D1%82%D0%BB%D0%BE%D0%B1 -
Орлов Иван Ефимович
Русский философ, предшественник релевантной и других подструктурных логик, пионер параконсистентного направления в логике, промышленный химик.
Анализируя развитие естественных наук, И.Е. Орлов стремился раскрыть их специфическую «логику». Согласно Орлову, законы мысли должны рассматриваться как формальные правила, подчиненные законам тождества и противоречия.
https://ru.wikipedia.org/wiki/%D0%9E%D1%80%D0%BB%D0%BE%D0%B2,_%D0%98%D0%B2%D0%B0%D0%BD_%D0%95%D1%84%D0%B8%D0%BC%D0%BE%D0%B2%D0%B8%D1%87 -
Васильев Николай Александрович
российский и советский философ, этик, психолог, историк, поэт и переводчик; учёный и педагог, предвосхитивший развитие системы воображаемой (неаристотелевой) и основных разделов современной неклассической логики. -
Эндрю Уайлс
Эндрю Уайлс известен тем, что доказал последнюю теорему Ферма. Чтобы найти решение он буквально заточил себя в 4х стенах на 7 лет. Когда оказалось, что в решении была ошибка, он закрылся еще на год, чтобы найти ее.
https://scisne.net/t-301 -
Гёдель Курт
Австрийский логик, математик и философ математики. Наиболее известен сформулированными и доказанными им теоремами о неполноте, которые оказали огромное влияние на представление об основаниях математики. Считается одним из наиболее выдающихся мыслителей XX века -
Альфред Тарский
Основатель формальной теории истинности.Разрабатывал вопросы логического следования и определения истины для формализованных языков.Теорема Тарского гласит,что понятие арифметической истины не может быть выражено средствами самой арифметики.Или: понятия «ложно» и «истинно» допустимы к употреблению исключительно на уровне метаязыка,но не уровне объектного языка.Эта теорема применима к любой достаточно сильной формальной системе.
https://vikent.ru/author/2028/ -
Хенк Барендрегт
нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба. Профессор, заведующий кафедрой оснований математики и информатики Университета Неймегена.
Источник:https://ru.wikipedia.org/wiki/Барендрегт,_Хенк -
Акиф Джафар оглы Гаджиев
Известный азербайджанский математик, доктор физико-математических наук, профессор, академик Национальной академии наук Азербайджана. -
Пер Мартин-Лёф
В настоящее время профессор философии математики Стокгольмского университета.
Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей, основаниям математики и логики[2], алгоритмической теории информации и теории конструкций
.https://ru.m.wikipedia.org/wiki/%D0%9C%D0%B0%D1%80%D1%82%D0%B8%D0%BD-%D0%9B%D1%91%D1%84,_%D0%9F%D0%B5%D1%80 -
Сол Крипке
американский философ и логик, почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра[en] Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
https://ru.m.wikipedia.org/wiki/%D0%9A%D1%80%D0%B8%D0%BF%D0%BA%D0%B5,_%D0%A1%D0%BE%D0%BB -
Вильгéльм Карл Э́сслер
современный немецкий философ и логик.Известен своими работами в области современной дедуктивной и индуктивной логики, металогики, философии науки, теории познания, ранней индийской и древнегреческой философии, а также философии Канта.
https://ru.m.wikipedia.org/wiki/%D0%AD%D1%81%D1%81%D0%BB%D0%B5%D1%80,_%D0%92%D0%B8%D0%BB%D1%8C%D0%B3%D0%B5%D0%BB%D1%8C%D0%BC
