-
340 BCE
Платон (428—347)
Многие диалоги Платона относятся к поиску некоторых важных понятий (справедливость, истина и благо); очевидно, на Платона оказала влияние значимость определений в математике.
(Информация взята с сайта https://ru.wikipedia.org/wiki/%D0%9F%D0%BB%D0%B0%D1%82%D0%BE%D0%BD) -
320 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 ) -
250
Ф. Бэкон
Ф. Бэкон стремился разработать приемы исследования самой природы. Он положил начало разработке методов установления причинно-следственных связей в объективной действительности.
(Информация взята с сайта https://ru.wikipedia.org/wiki/%D0%91%D1%8D%D0%BA%D0%BE%D0%BD,_%D0%A4%D1%80%D1%8D%D0%BD%D1%81%D0%B8%D1%81) -
Р.Декарт
Р. Декарт выдвинул в качестве критерия истинности признак ясности и отчетливости. Он считал, что благодаря ясному представлению, или интуиции и дедукции, исследователь не станет на путь заблуждения и достигнет истины.
( Информация взята с сайта https://24smi.org/celebrity/5000-dekart.html ) -
Г. Лейбницем (1646-1716)
Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по особым правилам. Это позволит всякое рассуждение заменить вычислением.
(Информация взята с сайта https://sites.google.com/site/licnostivistoriiinformatiki14/gotfrid-vilgelm-lejbnic ) -
Д. Буль (1815-1864)
Он создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний.
( Информация взята с сайта http://www.calend.ru/person/2177/) -
Джон Стюарт Милль (1806-1873)
Индуктивная логика значительно позже была систематизирована и развита английским философом Джоном Стюартом Миллем (1806–1873) в его двухтомном труде «Система логики силлогистической и индуктивной».
(Информация взята с сайта http://www.krugosvet.ru/enc/gumanitarnye_nauki/filosofiya/MILL_DZHON_STYUART.html) -
М. В. Ломоносов
Огромный вклад в развитие формальной логики внес русский ученый М.В.Ломоносов
(Информация взята с сайта http://www.ras.ru/lomonosov/b3a9efbc-bb80-4ea2-a3ea-3d68b068ed6b.aspx) -
А. Н. Радищев
Оригинальные логические концепции в России разрабатывались в XVIII в., и связаны прежде всего с А. Н. Радищевым
( Информация взята с сайта https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B4%D0%B8%D1%89%D0%B5%D0%B2,_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80_%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0%D0%B5%D0%B2%D0%B8%D1%87) -
Гёдель
Способствовал развитию новых разделов: модальная логика, темпоральная логика, деонтическая логика и релевантная логика.
(Информация взята с сайта http://www.calend.ru/person/105/) -
3000 теорем
В 1910-х годах Рамануджан сформулировал более чем 3000 теорем, включая свойства функции разбиения числа и её асимптотических оценок. Он также получил важные результаты в области исследования гамма-функции, модулярных форм, расходящихся рядов, гипергеометрических рядов и теории простых чисел. -
Алан Тьюринг
Алан Тьюринг — британский математик, который считается отцом информатики. Его работы заложили основы для создания ПК, вы, видимо, об этом знаете. Тьюринг очень известен благодаря своим заслугам во время Второй мировой войны. Работая в знаменитом Блетчли-парке, Тьюринг был одним из самых главных разработчиков методов взлома немецкого кода Enigma.
Взято с сайта :(http://hijos.ru/2013/02/06/20-matematikov-kotorye-izmenili-mir/) -
Гипотеза Пуанкре
Из работы Григория Яковлевича Перельмана, посвященной решению одного из частных случаев гипотезы геометризации Уильяма Терстона, следует справедливость известной гипотезы Пуанкаре, которую сформулировал в 1904 году французский математик, физик и философ Анри Пуанкаре. Описанный Перельманом метод изучения потока Риччи назвали теорией Гамильтона-Перельмана. В 2006 году Григорий Перельман решил гипотезу Пуанкаре, за что ему было присуждена международная премия «Медаль Филдса». -
Доказательство abc-гипотезы
В августе 2012 года авторитетный японский математик Синъити Мотидзуки заявил, что ему удалось доказать abc-гипотезу. Предложенное им доказательство оказалось исключительно сложным даже с точки зрения математиков-специалистов.
Таким образом, доказательство Синъити Мотидзуки общедоступно, не опровергнуто, но пока и не считается проверенным. -
Интервалы между простыми числами
В 2013 году Чжан Итан доказал, что существует бесконечно много последовательных простых чисел с разностью не более 70 миллионов. Последовавший за этим ажиотаж привёл к тому, что Джеймс Мэйнард и проект Polymath, организованный Теренсом Тао, уменьшили это число до 246.
