Вклад великих ученых в развитие науки логики

Timeline created by mar25061966
  • -276 BCE

    Эратосфен (греческий математик)

    Эратосфен (греческий математик)
    Эратосфен родился в Африке, в Кирене.
    Сочинения Эратосфена не сохранились, мы имеем от них лишь фрагменты. Трактаты Эратосфена Удвоение куба и О среднем были посвящены решению геометрических и арифметических задач, в Платонике он обращается к математическим и музыкальным основам платоновской философии. Самым знаменитым математическим открытием Эратосфена стало т. н. «решето», с помощью которого находятся простые числа.
  • 1170

    Леонардо Фибоначчи

    Леонардо Фибоначчи
    Леонардо Фибоначчи родился и жил в Италии в городе Пиза в 12-13 вв. Его отец был торговцем, и поэтому молодой Леонардо много путешествовал. На Востоке он познакомился с арабской системой цифр; в последствии он проанализировал, описал и представил ее европейскому обществу в своей знаменитой книге «Liber Abaci» («Книга Счета»). Леонардо Фибоначчи представил Европе Арабские цифры, которыми пользуется практически весь западный мир по сей день.
  • Feb 1, 1550

    Джон Непер

    Джон Непер
    В 1614 году шотландский математик Джон Непер изобрел таблицы логарифмов. Принцип их заключался в том, что каждому числу соответствует свое специальное число - логарифм. Логарифмы очень упрощают деление и умножение. Например, для умножения двух чисел складывают их логарифмы. результат находят в таблице логарифмов. В дальнейшем им была изобретена логарифмическая линейка, которой пользовались до 70-х годов нашего века.
  • Джордж Буль

    Джордж Буль
    Развил идеи Г. Лейбница. Считается основоположником математической логики.
    Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, затем занялся математической логикой. В основных трудах Буля "математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения" и "исследование законов мышления, в которых основаны математические теории логики и вероятности" были заложены основы математической логики.
  • Эмиль Леон Пост

    Эмиль Леон Пост
    Американский математик и логик. Им получен ряд фундаментальных результатов в математической логике; одно из наиболее употребительных определений понятий непротиворечивости и полноты формальных систем; доказательства функциональной полноты и дедуктивной полноты исчисления высказываний; изучение систем многозначной логики с 3 значениями истинности. Одним из первых дал определение понятия алгоритма в терминах «абстрактной вычислительной машины» и сформулировал основной тезис теории алгоритмов.
  • Андрей Николаевич Колмогоров

    Андрей Николаевич Колмогоров
    Колмогоров заложил основы теории операций над множествами. Ему принадлежит существенная роль в превращении теории информации Шеннона в строгую математическую науку.
    Он является одним из основоположников теории динамических систем, ему принадлежит определение общего понятия алгоритма.
    В математической логике он внес выдающийся вклад в теорию доказательств, в теории динамических систем — в развитие так называемой эргодической теории.
  • Андрей Николаевич Колмогоров

    Андрей Николаевич Колмогоров
    Выдающийся русский математик, один из основоположников современной теории вероятностей. Им получены фундаментальные результаты в топологии, в математической логике, в теории турбулентности, в теории сложных алгоритмов и ряде других областей математики и ее приложений. Увлекался философскими проблемами. Сформулировал гносеологический принцип познания, который был назван его именем. Ему присуждены премии: премия Больцмана, Премия Вольфа, Ленинская премия. Награжден медалью Лобачевского.
  • Андрей Андреевич Марков

    Андрей Андреевич Марков
    С 1959 и до конца жизни Андрей Андреевич заведовал кафедрой математической логики мехмата МГУ. Работал во многих областях (теория пластичности, прикладная геофизика, небесная механика, топология и др.), но наибольший вклад внёс в математическую логику (в частности, основал конструктивное направление в математике), теорию сложности алгоритмов и кибернетику. Создал большую математическую школу, его ученики работают сейчас во многих странах. Писал стихи, которые при жизни не публиковались.
  • Фаддеев, Людвиг Дмитриевич

    Фаддеев, Людвиг Дмитриевич
    В Санкт-Петербургском отделении Математического института им. В.А. Стеклова академик Л.Д. Фадеев разработал новый метод исследований квантовых интегрируемых моделей, в основе которого лежит постулирование дискретности переменных пространства-времени при сохранении точной интегрируемости моделей. Из единой дискретной модели как предельные случаи могут быть получены основные модели квантовых интегрируемых систем с непрерывным пространством-временем.
  • Коллектив ученных Института вычислительной математики РАН

    Коллектив ученых Института вычислительной математики РАН построил модели, основанные на применении сопряженных уравнений гидротермодинамики для анализа глобальных изменений окружающей среды и, прежде всего, климата.
  • Григорий Перельман

    Григорий Перельман
    Гипотеза Пуанкаре́ — доказанная математическая гипотеза о том, что всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере. Сформулированная в 1904 году математиком Анри Пуанкаре гипотеза была доказана в серии статей 2002—2003 годов Григорием Перельманом и подтверждена математическим сообществом в 2006 году, став первой и единственной на данный момент (2017 год) решённой задачей тысячелетия.