-
490 BCE
Зенон Элейский (490 до н. э)
Древнегреческий философ, представитель Элейской школы. Знаменит своими апориями, которыми он пытался доказать противоречивость концепций движения, пространства и множества. Научные дискуссии, вызванные этими парадоксальными рассуждениями, существенно углубили понимание таких фундаментальных понятий, как роль дискретного и непрерывного в природе, адекватность физического движения и его математической модели и др.
http://rushist.com/index.php/greece-rome/1855-zenon-elejskij -
384 BCE
Аристотель (384 – 322 гг. до н.э.) https://ru.wikipedia.org/wiki/%D0%90%D1%80%D0%B8%D1%81%D1%82%D0%BE%D1%82%D0%B5%D0%BB%D1%8C
Именно он в трудах, объединенных общим названием «Органон», впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений: формы выводов из категорических суждений – категорический силлогизм, сформулировал основные принципы научных доказательств, дал анализ смысла некоторых высказываний, наметил основные подходы к разработке учения о понятии.
https://ru.wikipedia.org/wiki/%D0%90%D1%80%D0%B8%D1%81%D1%82%D0%BE%D1%82%D0%B5%D0%BB%D1%8C -
1170
Леонардо Фибоначчи (1170 год)
Леонардо Фибоначчи родился и жил в Италии в городе Пиза в 12-13 вв. Его отец был торговцем, и поэтому молодой Леонардо много путешествовал. На Востоке он познакомился с арабской системой цифр; в последствии он проанализировал, описал и представил ее европейскому обществу в своей знаменитой книге «Liber Abaci» («Книга Счета»). Леонардо Фибоначчи представил Европе Арабские цифры, которыми пользуется практически весь западный мир по сей день.
http://n-t.ru/tp/in/la.htm -
Огастес де Морган (27 июня 1806 года)
В работе "Тригонометрия и двойная алгебра" (1849) он развил мысль У. Гамильтона о распространении идей символической алгебры на исчисление комплексных величин. Благодаря этому комплексные величины были строго обоснованы не только геометрически, но и алгебраически.
Он внес полезный вклад в математическую символику, предложив использование солидуса (косой черты) для обозначения дробей.
https://persons-info.com/persons/MORGAN_Ogastes_de -
Джордж Буль (2 ноября, 1815 года)
Считается основоположником математической логики.Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, затем занялся математической логикой. В основных трудах Буля "математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения" и "исследование законов мышления" были заложены основы математической логики.
https://ru.wikipedia.org/wiki/%D0%91%D1%83%D0%BB%D1%8C,_%D0%94%D0%B6%D0%BE%D1%80%D0%B4%D0%B6 -
Фридрих Людвиг Готлоб Фреге (8 ноября 1848 года)
В 1879 году Фридрих Людвиг Готлоб Фреге написал революционное сочинение Begriffsschrift. В Begriffsschrift Фреге с совершенно новых позиций пересмотрел ряд математических проблем, включая ясную трактовку понятий функции и переменных. Он, по сути дела, изобрел и аксиоматизировал логику предикатов, благодаря своему открытию кванторов, использование которых постепенно распространилось на всю математику и позволило решить средневековую проблему.
http://phenomen.ru/public/dictionary.php?article=1099 -
Андрей Николаевич Колмогоров (25 апреля, 1903года)
Колмогоров заложил основы теории операций над множествами. Ему принадлежит существенная роль в превращении теории информации Шеннона в строгую математическую науку.
Он является одним из основоположников теории динамических систем, ему принадлежит определение общего понятия алгоритма.
В математической логике он внес выдающийся вклад в теорию доказательств, в теории динамических систем — в развитие так называемой эргодической теории.
https://to-name.ru/biography/andrej-kolmogorov.htm -
Андрей Андреевич Марков (22 сентября, 1903 года)
С 1959 и до конца жизни Андрей Андреевич заведовал кафедрой математической логики мехмата МГУ. Работал во многих областях (теория пластичности, прикладная геофизика, небесная механика, топология и др.), но наибольший вклад внёс в математическую логику (в частности, основал конструктивное направление в математике), теорию сложности алгоритмов и кибернетику.
http://mathemlib.ru/books/item/f00/s00/z0000000/st016.shtml -
Карл Густав Гемпель (8 января 1905 года)
Немецкий и американский философ. Большое впечатление на него произвели встречи с Гильбертом и его программа доказательства непротиворечивости классической математики.Участвовал в разработке логико-методологической программы неопозитивизма, оказал большое влияние на трансформацию логического эмпиризма в 40—60-е гг. После недолгого пребывания в Гейдельберге Гемпель возвратился в Берлин для изучения математики, философии и физики.
http://www.hrono.ru/biograf/bio_g/hempelkg.php -
Мартин Гарднер (21 октября 1914 года)
Был ведущим рубрики математических игр и развлечений журнала «Scientific American», в которой была представлена общественности игра «Жизнь» а также интересные игры, задачи, головоломки.Особую популярность снискали статьи и книги Гарднера по занимательной математике. Среди его произведений есть философские эссе, очерки по истории математики, математические фокусы и комиксы, научно-популярные этюды, научно-фантастические рассказы, задачи на сообразительность.
http://www.arbuz.uz/t_gardner.html -
Григорий Яковлевич Перельман (13 июня 1966 года)
В одиночку трудился над доказательством гипотезы Пуанкаре. В 2002-2003 годах Григорий Перельман опубликовал в Интернете три свои знаменитые статьи, в которых кратко изложил оригинальный метод доказательства гипотезы Пуанкаре: 1 Формула энтропии для потока Риччи и её геометрические приложения. 2 Поток Риччи с хирургией на трёхмерных многообразиях. 3 Конечное время затухания для решений потока Риччи на некоторых трёхмерных многообразиях.
https://24smi.org/celebrity/14634-grigorii-perelman.html -
Вильгельм Эсслер (27 апреля 1940 года)
Эсслер занимался исследовательской и преподавательской деятельностью в области логики и философии науки в Университете г. Мюнхена. В 1991 вышел первый том его «Оснований логики», посвящённый логическому выводу, а в 1993 — второй том под названием «Классы, отношения, числа», которые с тех пор неоднократно переиздавались и стали стандартными введениями в соответствующие области логики.
http://www.febras.ru/61-uncategorised/2016/3336-24-08-2016-vilgelm-k-essler-logik-i-filosof-nauki-podrobnee.html -
Хенк Барендрегт (18 декабря 1947 года)
В 1967 году окончил Утрехтский университет по классу математической логики, получив степень магистра. Труды второй половины 1970-х годов посвящены вопросам моделей λ-исчисления. В 1991 году предложил λ-куб — графическую интерпретацию восьми различных типов типизированного λ-исчисления, снискавшую популярность как в среде логиков, так и среди специалистов по основаниям информатики и языкам программирования.
http://poivs.tsput.ru/ru/Math/NumberTheory/Events/XX/Barendregt