Девиз

Лента времени

Timeline created by Виолетта Федяева

In History

• 348

  Аристотель

  

  Великий древнегреческий философ; родоначальник формальной логики и один из наиболее влиятельных учёных древности.
  https://ru.m.wikipedia.org/wiki/Аристотель
• 1561

  Фрэнсис Бэкон

  

  Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Бэкон разработал методы научной индукции
  https://ru.m.wikipedia.org/wiki/Бэкон,_Фрэнсис
• 1680

  Готфрид Вильгельм Лейбниц

  

  Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по особым правилам. Это позволяет всякое рассуждение заменить вычислением.
  https://ru.m.wikipedia.org/wiki/Лейбниц,_Готфрид_Вильгельм
• 1707

  Леонард Эйлер

  

  Эйлер может смело входить в список "Великие русские математики". Открытия:
  Первую формулировку теории интегрирования с указанием методов, которые в ней применяются. Введение двойных интегралов. Дополнение элементарной геометрии, выведенной еще Евклидом.
  https://ru.m.wikipedia.org/wiki/Эйлер,_Леонард
• 1789

  Огюстен Луи Коши

  

  Именно он довел до ума все то, что пребывало в подвешенном состоянии, не имея ни определения, ни обоснования. Благодаря его трудам появились такие столпы дисциплины, как непрерывность, предел, производная и интеграл. Также Коши показал сходимость ряда и его радиус, дал математическое обоснование дисперсии в оптике.
  https://ru.m.wikipedia.org/wiki/Коши,_Огюстен_Луи
• 1793

  Николай Иванович Лобачевский

  

  Он ввел несколько уточнений в привычную систему, доказав ряд утверждений, например, о том, что параллельные прямые пересекаются на бесконечности. Его работа определяется в плоскости, которая характеризуется скоростями, близкими к скорости света.
  https://ru.m.wikipedia.org/wiki/Лобачевский,_Николай_Иванович
• 1847

  Морган Огастес де

  

  Основные труды: по математической логике и теории рядов; к своим идеям в алгебре логики Огастес де Мо́рган пришёл независимо от Дж. Буля. В 1847 изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. С его именем связаны известные теоретико-множественные соотношения
  https://ru.m.wikipedia.org/wiki/Морган,_Огастес_де
• 1854

  Джордж Буль

  

  На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» (1859; второе издание не завершено, материалы к нему опубликованы посмертно в 1865) и задуманный как его продолжение «Трактат о конечных разностях» (1860). Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета
  https://ru.m.wikipedia.org/wiki/Буль,_Джордж
• 1901

  Новиков Пётр Сергеевич

  

  Установил, что существуют группы с конечным числом образующих и конечным числом определяющих отношений, для которых не существует алгоритма, решающего проблему тождества слов. Создал метод доказательства непротиворечивости формальных систем, основанный на понятии регулярной формулы. Доказал неразрешимость проблемы тождества, сопряженности и изоморфизма в теории групп.
  https://ru.m.wikipedia.org/wiki/Новиков,_Пётр_Сергеевич
• 1903

  Андрей Николаевич Колмогоров

  

  Развитие математических методов и перенос их из абстрактных областей в прикладные. Иными словами, благодаря трудам Андрея Николаевича математика прочно вошла в естественные науки.
  https://ru.m.wikipedia.org/wiki/Колмогоров,_Андрей_Николаевич
• 1928

  Иван Ефимович Орлов

  

  Анализируя развитие естественных наук, И.Е. Орлов стремился раскрыть их специфическую «логику». Согласно Орлову, законы мысли должны рассматриваться как формальные правила, подчиненные законам тождества и противоречия.
  https://ru.m.wikipedia.org/wiki/Орлов,_Иван_Ефимович
• 2001

  Людвиг Дмитриевич Фадеев

  

  разработал метод исследований квантовых интегрируемых моделей, в основе которого лежит постулирование дискретности переменных пространства-времени при сохранении точной интегрируемости моделей. Из единой дискретной модели как предельные случаи могут быть получены основные модели квантовых интегрируемых систем с непрерывным пространством-временем
  https://ru.m.wikipedia.org/wiki/Фаддеев,_Людвиг_Дмитриевич
• 2002

  Перельман Григорий Яковлевич

  

  Доказал несколько ключевых утверждений в александровской геометрии пространств ограниченной снизу кривизны.
  В 1994 году доказал гипотезу о душе в дифференциальной геометрии.
  В 2002—2003 годах доказал гипотезу Пуанкаре и гипотезу геометризации.
  https://ru.m.wikipedia.org/wiki/Перельман,_Григорий_Яковлевич
• 2010

  Плитка Соколара — Тейлора

  

  Известна мозаика Пенроуза – набор плиток, которыми можно замостить плоскость, но при этом только апериодически. Много лет существовал вопрос – возможно ли сделать это при помощи только одной плитки. Джоан Тейлор и Джошуа Соколар обнаружили такую плитку.
  https://ru.m.wikipedia.org/wiki/Плитка_Соколара_—_Тейлора