Хронология математики - Timeline of mathematics

Это график из чистой и прикладной математики истории . Здесь он разделен на три стадии, соответствующие стадиям в развитии математической нотации : «риторическая» стадия, на которой вычисления описываются чисто словами, «синкопированная» стадия, на которой количества и общие алгебраические операции начинают представляться символические сокращения и, наконец, «символический» этап, на котором исчерпывающие системы обозначений для формул являются нормой.

Риторический этап

До 1000 г. до н.э.

• ок. 70 000 до н.э.  - Южная Африка, охристые скалы, украшенные нацарапанными геометрическими узорами (см. Пещеру Бломбос ).
• ок. 35000 г. до н.э. до 20 000 г. до н.э.  - Африка и Франции, ранний из известных доисторической попытки количественной оценки времени .
• c. 20 000 до н.э. - Долина Нила , Ишанго Боне : возможно, самое раннее упоминание простых чисел и египетского умножения .
• c. 3400 г. до н.э. - Месопотамия , шумеры изобрели первую систему счисления , а также систему мер и весов .
• c. 3100 г. до н.э. - Египет , самая ранняя из известных десятичных систем допускает неопределенный счет путем введения новых символов.
• c. 2800 г. до н.э. - Цивилизация долины Инда на Индийском субконтиненте , самое раннее использование десятичных соотношений в единой системе древних мер и весов , наименьшая используемая единица измерения - 1,704 миллиметра, а наименьшая используемая единица массы - 28 граммов.
• 2700 г. до н.э. - Египет, точная съемка .
• 2400 г. до н.э. - Египет, точный астрономический календарь , использовавшийся еще в средние века из- за его математической закономерности.
• c. 2000 г. до н.э. - Месопотамия, вавилоняне используют позиционную систему счисления с основанием 60 и вычисляют первое известное приблизительное значение π в 3,125.
• c. 2000 г. до н.э. - Шотландия, резные каменные шары демонстрируют множество симметрий, включая все симметрии Платоновых тел , хотя неизвестно, было ли это намеренно.
• 1800 г. до н.э. - Египет, Москва Математический папирус , объем находок усеченного конуса .
• c. 1800 г. до н.э. - Берлинский папирус 6619 (Египет, 19 династия) содержит квадратное уравнение и его решение.
• 1650 г. до н.э. - Математический папирус Райнда , копия утерянного свитка примерно 1850 г. до н.э., писец Ахмес представляет одно из первых известных приблизительных значений π в 3,16, первую попытку возвести круг в квадрат , самое раннее известное использование своего рода котангенса , и знание решения линейных уравнений первого порядка.

Синкопированная стадия

1 тысячелетие до нашей эры.

• c. 1000 г. до н.э. - простые дроби, используемые египтянами . Однако используются только единичные дроби (т. Е. Те, в которых числитель равен 1), а таблицы интерполяции используются для аппроксимации значений других дробей.
• первая половина 1-го тысячелетия до нашей эры - Ведическая Индия  - Яджнавалкья в своей « Шатапатха-брахмане» описывает движения солнца и луны и продвигает 95-летний цикл для синхронизации движений солнца и луны.
• 800 г. до н.э. - Баудхаяна , автор Баудхаяна Шульба Сутры , ведического санскритского геометрического текста, содержит квадратные уравнения и правильно вычисляет квадратный корень из двух с точностью до пяти знаков после запятой.
• c. 8 век до н.э. - Яджурведа , одна из четырех индуистских вед , содержит самую раннюю концепцию бесконечности и утверждает, что «если вы удалите часть из бесконечности или добавите часть в бесконечность, то останется бесконечность».
• 1046 г. до н.э. - 256 г. до н.э. - Китай, Чжуби Суаньцзин , арифметика, геометрические алгоритмы и доказательства.
• 624 г. до н.э. - 546 г. до н.э. - Греция, Фалес Милетский имеет различные теоремы, приписываемые ему.
• c. 600 г. до н.э. - Греция, другие ведические «Сульба-сутры» («правило аккордов» на санскрите ) используют пифагорейские тройки , содержат ряд геометрических доказательств и приблизительное число π в 3,16.
• вторая половина I тысячелетия до нашей эры - в Китае была обнаружена площадь Ло Шу , уникальный нормальный магический квадрат третьего порядка.
• 530 г. до н.э. - Греция, Пифагор изучает геометрию высказываний и вибрирующие лировые струны; его группа также обнаруживает иррациональность в квадратный корень из двух .
• c. 510 г. до н.э. - Греция, Анаксагор
• c. 500 г. до н.э. - индийский грамматик Панини пишет Astadhyayi , который содержит использование метаправил, преобразований и рекурсий , первоначально с целью систематизации грамматики санскрита.
• c. 500 г. до н.э. - Греция, Энопид Хиосский.
• 470 г. до н.э. - 410 г. до н.э. - Греция, Гиппократ Хиосский использует луночки в попытке квадрировать круг .
• 490 г. до н.э. - 430 г. до н.э. - Греция, Зенон Элейский парадоксы Зенона
• V век до н.э. - Индия, Апастамба , автор Апастамба Сульба Сутра, другого геометрического текста ведического санскрита, пытается возвести круг в квадрат, а также вычисляет квадратный корень из 2 с точностью до пяти знаков после запятой.
• 5 в. До н.э. - Греция, Феодор из Кирены
• V век - Греция, Антифон Софист
• 460 г. до н.э. - 370 г. до н.э. - Греция, Демокрит.
• 460 г. до н.э. - 399 г. до н.э. - Греция, Гиппий.
• V век (конец) - Греция, Брайсон из Гераклеи
• 428 г. до н.э. - 347 г. до н.э. - Греция, Архит.
• 423 г. до н.э. - 347 г. до н.э. - Греция, Платон.
• 417 г. до н.э. - 317 г. до н.э. - Греция, Теэтет (математик)
• c. 400 г. до н.э. - Индия, джайнские математики пишут Сурья Праджинапти , математический текст, классифицирующий все числа на три набора: перечислимые, бесчисленные и бесконечные . Он также распознает пять различных типов бесконечности: бесконечность в одном и двух направлениях, бесконечность по площади, бесконечность везде и бесконечность вечно.
• 408 г. до н.э. - 355 г. до н.э. - Греция, Евдокс Книдский.
• 400 г. до н.э. - 350 г. до н.э. - Греция, Фимарид.
• 395 г. до н.э. - 313 г. до н.э. - Греция, Ксенократ.
• 390 г. до н.э. - 320 г. до н.э. - Греция, Динострат.
• 380–290 - Греция, Автолик Питанский
• 370 г. до н.э. - Греция, Евдокс излагает метод исчерпания для определения площади .
• 370 г. до н.э. - 300 г. до н.э. - Греция, Аристей Старший.
• 370 г. до н.э. - 300 г. до н.э. - Греция, Каллипп.
• 350 г. до н.э. - Греция, Аристотель обсуждает логические рассуждения в " Органоне" .
• 4 век до нашей эры - в индийских текстах используется санскритское слово «шунья» для обозначения понятия «пустота» ( ноль ).
• 4 век до н.э. - Китай, Счетные стержни
• 330 г. до н.э. - Китай, составлен самый ранний известный труд по китайской геометрии , Мо Цзин .
• 310 г. до н.э. - 230 г. до н.э. - Греция, Аристарх Самосский.
• 390 г. до н.э. - 310 г. до н.э. - Греция, Гераклид Понтийский.
• 380 г. до н.э. - 320 г. до н.э. - Греция, Менехм.
• 300 г. до н.э. - Индия, джайнские математики в Индии пишут Сутру Бхагабати , которая содержит самые ранние сведения о комбинациях .
• 300 г. до н.э. - Греция, Евклид в своих « Элементах» изучает геометрию как аксиоматическую систему , доказывает бесконечность простых чисел и представляет алгоритм Евклида ; он излагает закон отражения в катоптриках и доказывает основную теорему арифметики .
• c. 300 г. до н.э. - Индия, цифры Брахми (предок общей современной системы счисления с основанием 10 )
• 370 г. до н.э. - 300 г. до н.э. - Греция, Евдем Родосский, труды по истории арифметики, геометрии и астрономии теперь утеряны.
• 300 г. до н.э. - Месопотамия , вавилоняне изобрели самый ранний калькулятор - счеты .
• c. 300 г. до н.э. - Индийский математик Пингала пишет Чханда-шастру , которая содержит первое использование в Индии нуля в качестве цифры (обозначено точкой), а также представляет описание двоичной системы счисления , а также первое использование чисел Фибоначчи и Паскаля. треугольник .
• 280 г. до н.э. - 210 г. до н.э. - Греция, Никомед (математик)
• 280 г. до н.э. - 220 г. до н.э. - Греция, Филон Византийский.
• 280 г. до н.э. - 220 г. до н.э. - Греция, Конон Самосский
• 279 г. до н.э. - 206 г. до н.э. - Греция, Хрисипп.
• c. 3 век до н.э. - Индия, Катьяяна
• 250 г. до н.э. - 190 г. до н.э. - Греция, Дионисодор
• 262-198 до н.э. - Греция, Аполлоний Пергский.
• 260 г. до н.э. - Греция, Архимед доказал, что значение π находится между 3 + 1/7 (примерно 3,1429) и 3 + 10/71 (примерно 3,1408), что площадь круга равна π, умноженному на квадрат. радиуса круга и что площадь, ограниченная параболой и прямой линией, равна 4/3, умноженному на площадь треугольника с равными основанием и высотой. Он также дал очень точную оценку значения квадратного корня из 3.
• c. 250 г. до н.э. - поздние ольмеки уже начали использовать истинный ноль (символ ракушки) за несколько веков до Птолемея в Новом Свете. См. 0 (число) .
• 240 г. до н.э. - Греция, Эратосфен использует свой алгоритм сита для быстрого выделения простых чисел.
• 240 г. до н. Э. 190 г. до н. Э. - Греция, Диокл (математик)
• 225 г. до н.э. - Греция, Аполлоний Пергский пишет « О конических сечениях» и называет эллипс , параболу и гиперболу .
• 202 г. до н.э. - 186 г. до н.э. - Китай, Математический трактат « Книга чисел и вычислений» , написанный во времена династии Хань .
• 200 г. до н.э. - 140 г. до н.э. - Греция, Зенодор (математик)
• 150 г. до н.э. - Индия, Jain математики в Индии писать Sthananga Сутру , который содержит работы по теории чисел, арифметических операций, геометрии, операции с фракциями , простых уравнений, кубических уравнений , уравнений четвертого порядка и перестановок и комбинаций.
• c. 150 г. до н.э. - Греция, Персей (геометр)
• 150 г. до н.э. - Китай. Метод исключения Гаусса появляется в китайском тексте «Девять глав математического искусства» .
• 150 г. до н.э. - Китай, метод Хорнера появляется в китайском тексте «Девять глав математического искусства» .
• 150 г. до н.э. - Китай, отрицательные числа появляются в китайском тексте «Девять глав математического искусства» .
• 150 г. до н.э. - 75 г. до н.э. - финикийец, Зенон Сидонский
• 190 г. до н.э. - 120 г. до н.э. - Греция, Гиппарх развивает основы тригонометрии .
• 190 г. до н.э. - 120 г. до н.э. - Греция, Гипсикл.
• 160 г. до н.э. - 100 г. до н.э. - Греция, Феодосий Вифинский
• 135 г. до н.э. - 51 г. до н.э. - Греция, Посидоний
• 78 г. до н.э. - 37 г. до н.э. - Китай, Цзин Фан
• 50 г. до н.э. - индийские цифры , потомок цифр брахми (первая позиционное обозначение базовой 10 системы с номером ), начинается развитие в Индии .
• середина 1 века Клеомед (около 400 г. н.э.)
• последние века до нашей эры - индийский астроном Лагадха пишет Веданга Джйотишу , ведический текст по астрономии, который описывает правила отслеживания движений солнца и луны и использует геометрию и тригонометрию для астрономии.
• 1 в. До н.э. - Греция, Близнецы.
• 50 г. до н.э. - 23 г. н.э. - Китай, Лю Синь

1-е тысячелетие нашей эры

• 1 век - Греция, Герон Александрийский , (Герой) самое раннее мимолетное упоминание о квадратных корнях из отрицательных чисел.
• c 100 - Греция, Теон Смирнский
• 60 - 120 - Греция, Никомах
• 70 - 140 - Греция, Менелай Александрийский Сферическая тригонометрия
• 78 - 139 - Китай, Чжан Хэн
• c. Второй век - Греция, Птолемей из Александрии написал Альмагест .
• 132 - 192 - Китай, Цай Юн
• 240 - 300 - Греция, Никейский Спор
• 250 - Греция, Диофант использует символы для неизвестных чисел в терминах синкопированной алгебры и пишет « Арифметику» , один из самых ранних трактатов по алгебре.
• 263 - Китай, Лю Хуэй вычисляет π, используя π-алгоритм Лю Хуэя .
• 300 - самое раннее известное использование нуля в качестве десятичной цифры было введено индийскими математиками .
• 234 - 305 - Греция, Порфирий (философ)
• 300 - 360 - Греция, Серен Антиноуплисский
• 335 - 405 - Греция, Теон Александрийский
• c. 340 - Греция, Папп Александрийский утверждает свою теорему о шестиугольнике и теорему о центроиде .
• 350-415 - Византийская империя, Гипатия
• c. 400 - Индия, рукопись Бахшали, написанная математиками- джайнами , описывает теорию бесконечности, содержащую различные уровни бесконечности , показывает понимание индексов , а также логарифмы с основанием 2 и вычисляет квадратные корни из чисел размером с миллион с точностью до 11 знаков после запятой.
• От 300 до 500 - китайская теорема об остатках разработана Сунь Цзы .
• От 300 до 500 - Китай, описание стержневого исчисления написано Сунь Цзы .
• 412 - 485 - Греция, Прокл
• 420 - 480 - Греция, Домнин Ларисский
• b 440 - Греция, Марин из Неаполя «Я бы хотел, чтобы все было математикой».
• 450 - Китай, Цзу Чунчжи вычисляет π с точностью до семи десятичных знаков. Этот расчет остается наиболее точным расчетом π в течение почти тысячи лет.
• c. 474 - 558 - Греция, Анфемий Траллский
• 500 - Индия, Арьябхата пишет Aryabhata-Siddhanta , которая сначала вводит тригонометрические функции и методы вычисления их приблизительных числовых значений. Он определяет понятия синуса и косинуса , а также содержит самые ранние таблицы значений синуса и косинуса (с интервалами 3,75 градуса от 0 до 90 градусов).
• 480 - 540 - Греция, Евтокий Аскалонский
• 490 - 560 - Греция, Симплиций Киликийский
• VI век - Арьябхата дает точные вычисления для астрономических констант, таких как солнечное затмение и лунное затмение , вычисляет π с точностью до четырех знаков после запятой и получает целочисленные решения линейных уравнений методом, эквивалентным современному методу.
• 505 - 587 - Индия, Варахамихира
• 6 век - Индия, Ятившабха
• 535-566 - Китай, Чжэнь Луань
• 550 - Индусские математики дают нулю числовое представление в позиционной системе счисления в индийской системе счисления .
• 600 - Китай, Лю Чжо использует квадратичную интерполяцию.
• 602 - 670 - Китай, Ли Чуньфэн
• 625 Китай, Ван Сяотун пишет Jigu Suanjing , в котором решаются уравнения кубической и четвертой степени.
• 7 век - Индия, Бхаскара I дает рациональное приближение функции синуса.
• 7 век - Индия, Брахмагупта изобретает метод решения неопределенных уравнений второй степени и первым использует алгебру для решения астрономических задач. Он также разрабатывает методы расчета движения и положения различных планет, их восхода и захода, соединения и расчета затмений Солнца и Луны.
• 628 г. - Брахмагупта пишет « Брахма-спхута-сиддханту» , в которой четко объясняется ноль и в которой полностью развита современная индийская система счисления с числовыми значениями . Она также дает правила для манипулирования как отрицательных , так и положительных чисел , методы для вычисления квадратных корней, методов решения линейных и квадратных уравнений и правил суммирования рядов , идентичности Брахмагупты , и теоремы Брахмагупта .
• 721 - Китай, Чжан Суй (И Син) вычисляет первую касательную таблицу.
• 8 - го века - Индия, Вирасена дает четкие правила для последовательности Фибоначчи , дает вывод о объеме в виде усеченного используя бесконечной процедуры, а также имеет дело с логарифмом к основанию 2 и знает свои законы.
• 8 век - Индия, Шридхара дает правило для определения объема сферы, а также формулу для решения квадратных уравнений.
• 773 - Ирак, Канка приносит Брахма-спхута-сиддханту Брахмагупты в Багдад, чтобы объяснить индийскую систему арифметической астрономии и индийскую систему счисления.
• 773 г. - Аль-Фазари переводит «Брахма-сфута-сиддханта» на арабский язык по просьбе короля Халифа Аббасида аль-Мансура.
• 9 век - Индия, Говиндсвамин открывает формулу интерполяции Ньютона-Гаусса и дает дробные части табличных синусов Арьябхаты .
• 810 г. - в Багдаде построен Дом мудрости для перевода греческих и санскритских математических работ на арабский язык.
• 820 - Аль-Хорезми  - персидский математик, отец алгебры, пишет Аль-Джабр , позже транслитерированный как Алгебра , который вводит систематические алгебраические методы для решения линейных и квадратных уравнений. Переводы его книги по арифметике познакомят западный мир с арабско-индуистской десятичной системой счисления в XII веке. Термин « алгоритм» также назван в его честь.
• 820 - Иран, Аль-Махани задумал свести геометрические задачи, такие как удвоение куба, к задачам по алгебре.
• c. 850 - Ирак, Аль-Кинди является пионером криптоанализа и частотного анализа в своей книге по криптографии .
• c. 850 - Индия, Махавира пишет Ганитасарасанграху, иначе известную как Ганита Сара Самграха, которая дает систематические правила для выражения дроби как суммы долей единиц .
• 895 - Сирия, Табит ибн Курра : единственный сохранившийся фрагмент его оригинальной работы содержит главу о решении и свойствах кубических уравнений . Он также обобщил теорему Пифагора и открыл теорему, с помощью которой можно найти пары дружественных чисел (т. Е. Два числа, каждое из которых является суммой собственных делителей другого).
• c. 900 - Египет, Абу Камиль начал понимать, что мы будем писать символами как${\ Displaystyle х ^ {п} \ CDOT х ^ {м} = х ^ {м + п}}$
• 940 - Иран, Абу'л-Вафа аль-Бузджани извлекает корни, используя индийскую систему счисления.
• 953 - Арифметика индийско-арабской системы счисления сначала требовала использования доски для пыли (своего рода портативной классной доски ), потому что «методы требовали перемещения чисел в расчетах и ​​стирания некоторых в процессе расчета». Аль-Уклидиси изменил эти методы для использования ручки и бумаги. В конце концов, развитие десятичной системы счисления привело к ее стандартному использованию во всем регионе и во всем мире.
• 953 - Персия, Al-Караджи . Является «первым человеком, полностью свободной алгебры от геометрических операций и заменить их арифметический тип операций , которые лежат в основе алгебре сегодня Он был первым , чтобы определить одночлены , , , .. . и , , , ... и дать правила для продуктов любых двух из них. Он начал школу алгебры , которая процветала на протяжении нескольких сотен лет». Он также открыл биномиальную теорему для целочисленных показателей , которая «была основным фактором в развитии численного анализа, основанного на десятичной системе счисления».${\ displaystyle x}$${\ displaystyle x ^ {2}}$${\ displaystyle x ^ {3}}$${\ displaystyle 1 / x}$${\ displaystyle 1 / x ^ {2}}$${\ displaystyle 1 / x ^ {3}}$
• 975 - Месопотамия, Аль-Батани распространил индийские концепции синуса и косинуса на другие тригонометрические отношения, такие как тангенс, секанс и их обратные функции. Выведены формулы: и .${\ Displaystyle \ грех \ альфа = \ загар \ альфа / {\ sqrt {1+ \ загар ^ {2} \ альфа}}}$${\ displaystyle \ cos \ alpha = 1 / {\ sqrt {1+ \ tan ^ {2} \ alpha}}}$

Символический этап

1000–1500

• c. 1000 - Абу Сахл аль-Кухи (Кухи) решает уравнения выше второй степени .
• c. 1000 - Абу-Махмуд аль-Худжанди первым излагает частный случай Великой теоремы Ферма .
• c. 1000 г. - Закон синусов открыт мусульманскими математиками , но неясно, кто открыл его первым, между Абу-Махмудом аль-Худжанди , Абу Насром Мансуром и Абу аль-Вафой .
• c. 1000 г. - Папа Сильвестр II вводит в Европу абак, использующий индуистско-арабскую систему счисления .
• 1000 - Al-Караджа пишет книгу , содержащую первые известные доказательства по математической индукции . Он использовал его, чтобы доказать биномиальную теорему , треугольник Паскаля и сумму целых кубов . Он был «первым, кто ввел теорию алгебраического исчисления ».
• c. 1000 г. - Ибн Тахир аль-Багдади изучил небольшой вариант теоремы Табита ибн Курры о дружественных числах , а также внес улучшения в десятичную систему.
• 1020 - Абул Вафа дал формулу: sin (α + β) = sin α cos β + sin β cos α. Также обсуждались квадратура параболы и объем параболоида .
• 1021 г. - Ибн аль-Хайтам сформулировал и решил проблему Альхазена геометрически.
• 1030 г. - Али Ахмад Насави пишет трактат о десятичной и шестидесятеричной системе счисления. Его арифметика объясняет деление дробей и извлечение квадратных и кубических корней (квадратный корень 57 342; кубический корень 3, 652, 296) почти современным способом.
• 1070 - Омар Хайям начинает писать Трактат о демонстрации проблем алгебры и классифицирует кубические уравнения.
• c. 1100 - Омар Хайям «дал полную классификацию кубических уравнений с геометрическими решениями, найденными посредством пересекающихся конических сечений ». Он стал первым, кто нашел общегеометрические решения кубических уравнений и заложил основы для развития аналитической геометрии и неевклидовой геометрии . Он также извлекал корни, используя десятичную систему счисления (индуистско-арабская система счисления).
• XII век - арабские математики модифицировали индийские цифры , чтобы сформировать современную арабскую систему счисления (широко используемую в современном мире).
• 12 век - арабская система счисления попала в Европу через арабов .
• XII век - Бхаскара Ачарья пишет Lilavati , который охватывает темы определений, арифметических терминов, вычисления процентов, арифметических и геометрических прогрессий, плоской геометрии, твердой геометрии , тени гномона , методов решения неопределенных уравнений и комбинаций .
• XII век - Бхаскара II (Бхаскара Ачарья) пишет Биджаганиту ( Алгебру ), которая является первым текстом, признающим, что положительное число имеет два квадратных корня.
• XII век - Бхаскара Ачарья создает дифференциальное исчисление , а также разрабатывает теорему Ролля , уравнение Пелла , доказательство теоремы Пифагора , доказывает, что деление на ноль равно бесконечности, вычисляет π с точностью до 5 знаков после запятой и вычисляет время, необходимое Земле для выхода на орбиту. солнце до 9 знаков после запятой.
• 1130 г. - Ас-Самавал дал определение алгебры: «[она занимается] оперированием неизвестными, используя все арифметические инструменты, так же, как арифметик оперирует известными».
• 1135 г. - Шарафеддин Туси последовал за применением алгебры аль-Хайямом к геометрии и написал трактат о кубических уравнениях, который «представляет собой существенный вклад в другую алгебру, направленную на изучение кривых с помощью уравнений, тем самым положив начало алгебраической геометрии».
• 1202 г. - Леонардо Фибоначчи демонстрирует полезность индусско-арабских цифр в своей Liber Abaci ( Книге абаков ).
• 1247 - Цинь Цзюшао публикует « Шошу Цзиньчжан» (« Математический трактат в девяти разделах» ).
• 1248 - Ли Е пишет Ceyuan haijing , математический трактат из 12 томов, содержащий 170 формул и 696 задач, в основном решаемых полиномиальными уравнениями с использованием метода тянь юань шу .
• 1260 - Аль-Фариси дал новое доказательство теоремы Табита ибн Курры, представив важные новые идеи, касающиеся факторизации и комбинаторных методов. Он также дал пару дружеских номеров 17296 и 18416, которые также были приписаны Ферма, а также Табиту ибн Курре.
• c. 1250 - Насир ад-Дин ат-Туси пытается разработать форму неевклидовой геометрии.
• 1280 - Го Шоуцзин и Ван Сюнь вводят кубическую интерполяцию.
• 1303 - Чжу Шицзе издает « Драгоценное зеркало четырех элементов» , в котором содержится древний метод расположения биномиальных коэффициентов в треугольнике.
• 14 век - Мадхава считается отцом математического анализа , который также работал над степенными рядами для π и для функций синуса и косинуса, и вместе с другими математиками школы Кералы основал важные концепции исчисления .
• XIV век - Парамешвара , математик из школы Кералы, представляет серию синусоидальной функции, которая эквивалентна ее разложению в ряд Тейлора , формулирует теорему о среднем значении дифференциального исчисления, а также является первым математиком, который дал радиус круга с вписанными циклический четырехугольник .

15 век

• 1400 - Мадхава обнаруживает разложение в ряд для функции обратной тангенса, бесконечный ряд для arctan и sin, а также многие методы для вычисления длины окружности и использует их для вычисления числа π с точностью до 11 знаков после запятой.
• c. 1400 - Гият аль-Каши «внес вклад в развитие десятичных дробей не только для аппроксимации алгебраических чисел , но и для вещественных чисел, таких как π. Его вклад в десятичные дроби настолько велик, что в течение многих лет он считался их изобретателем. не первый, кто сделал это, аль-Каши дал алгоритм для вычисления корней n-й степени, который является частным случаем методов, данных много столетиями спустя [Паоло] Руффини и [Уильям Джордж] Хорнер ». Он также был первым, кто использовал десятичную запятую в арифметике и арабские цифры . Его работы включают «Ключ к арифметике», «Открытия в математике», «Десятичная точка» и «Преимущества нуля» . Содержание « Преимущества нуля» представляет собой введение, за которым следуют пять эссе: «Об арифметике целых чисел», «О дробной арифметике», «Об астрологии», «О сферах» и «О поиске неизвестных [неизвестных переменных]». . Он также написал диссертацию о синусе и хорде и диссертацию о нахождении синуса первой степени .
• 15 век - Ибн аль-Банна и аль-Каласади ввели символические обозначения для алгебры и математики в целом.
• XV век - Нилаканта Сомаяджи , математик из керальской школы, пишет Aryabhatiya Bhasya , который содержит работы по бесконечным разложениям, проблемам алгебры и сферической геометрии.
• 1424 - Гият аль-Каши вычисляет π до шестнадцати десятичных знаков, используя вписанные и описанные многоугольники.
• 1427 - Аль-Каши завершает «Ключ к арифметике», содержащий очень глубокую работу с десятичными дробями. Он применяет арифметические и алгебраические методы для решения различных задач, в том числе нескольких геометрических.
• 1464 - Региомонтан пишет De Triangulis omnimodus, который является одним из первых текстов, в которых тригонометрия рассматривается как отдельный раздел математики.
• 1478 - Анонимный автор пишет арифметику Тревизо .
• 1494 г. - Лука Пачоли пишет « Сумма арифметики, геометрии, пропорции и пропорциональности» ; вводит примитивную символьную алгебру с использованием «со» (cosa) для неизвестного.

Современный

16-ый век

• 1501 - Нилакантха Сомаяджи пишет Тантрасамграху .
• 1520 г. - Сципион дал Ферро разрабатывает метод решения «депрессивных» кубических уравнений (кубические уравнения без члена x ² ), но не публикует.
• 1522 - Адам Рис объяснил использование арабских цифр и их преимущества перед римскими цифрами.
• 1535 - Никколо Тарталья независимо разрабатывает метод решения депрессивных кубических уравнений, но также не публикует его.
• 1539 г. - Джероламо Кардано изучает метод Тартальи для решения депрессивных кубиков и открывает метод уменьшения кубиков, тем самым создавая метод решения всех кубиков.
• 1540 - Лодовико Феррари решает уравнение четвертой степени .
• 1544 г. - Майкл Стифель издает Arithmetica Integra .
• 1545 - Джероламо Кардано задумывается о комплексных числах .
• 1550 г. - Джештадева , математик из керальской школы , пишет « Юктибхана» , первый в мире текст по исчислению , в котором даются подробные выводы многих теорем и формул по исчислению.
• 1572 - Рафаэль Бомбелли пишет трактат по алгебре и использует мнимые числа для решения кубических уравнений.
• 1584 - Чжу Zaiyu вычисляет равный темперамент .
• 1596 г. - Людольф ван Сеулен вычисляет число π с точностью до двадцати десятичных знаков, используя вписанные и описанные многоугольники.

17-го века

• 1614 - Джон Нэпьер обсуждает логарифмы Напьера в Mirifici Logarithmorum Canonis Descriptio .
• 1617 - Генри Бриггс обсуждает десятичные логарифмы в Logarithmorum Chilias Prima .
• 1618 - Джон Нэпьер публикует первые ссылки на e в своей работе по логарифмам .
• 1619 - Рене Декарт открывает аналитическую геометрию ( Пьер де Ферма утверждал, что он также открыл ее независимо).
• 1619 - Иоганн Кеплер открывает два многогранника Кеплера-Пуансо .
• 1629 - Пьер де Ферма разрабатывает элементарное дифференциальное исчисление .
• 1634 г. - Жиль де Роберваль показывает, что площадь под циклоидой в три раза больше площади ее образующего круга.
• 1636 - Мухаммад Бакир Язди совместно с Декартом (1636) открыл пару дружеских чисел 9 363 584 и 9 437 056 .
• 1637 - утверждает Пьер де Ферма , чтобы доказали Великую теорему Ферма в его копии Диофант ' Arithmetica .
• 1637 - Первое использование термина « мнимое число » Рене Декартом; это должно было быть унизительным.
• 1643 - Рене Декарт развивает теорему Декарта .
• 1654 - Блез Паскаль и Пьер де Ферма создают теорию вероятности .
• 1655 - Джон Уоллис пишет Arithmetica Infinitorum .
• 1658 - Кристофер Рен показывает, что длина циклоиды в четыре раза больше диаметра ее образующей окружности.
• 1665 - Исаак Ньютон работает над основной теоремой исчисления и развивает свою версию исчисления бесконечно малых .
• 1668 - Николас Меркатор и Уильям Браункер открывают бесконечный ряд для логарифма, пытаясь вычислить площадь под гиперболическим сегментом .
• 1671 г. - Джеймс Грегори развивает разложение в ряд для функции обратной касательной (первоначально обнаруженной Мадхавой ).
• 1671 - Джеймс Грегори открывает теорему Тейлора .
• 1673 - Готфрид Лейбниц также развивает свою версию исчисления бесконечно малых.
• 1675 - Исаак Ньютон изобретает алгоритм вычисления функциональных корней .
• 1680-е - Готфрид Лейбниц работает над символической логикой.
• 1683 - Секи Такакадзу обнаруживает результат и определитель .
• 1683 - Секи Такакадзу развивает теорию исключения .
• 1691 г. - Готфрид Лейбниц открывает метод разделения переменных для обыкновенных дифференциальных уравнений .
• 1693 г. - Эдмунд Галлей составляет первые таблицы смертности, статистически связывающие уровень смертности с возрастом.
• 1696 - Гийом де Л'Опиталь излагает свое правило вычисления определенных пределов .
• 1696 - Якоб Бернулли и Иоганн Бернулли решают проблему брахистохроны , первый результат в вариационном исчислении .
• 1699 - Авраам Шарп вычисляет π до 72 цифр, но только 71 правильная.

18-ый век

• 1706 - Джон Мачин разрабатывает быстро сходящийся ряд обратных касательных для π и вычисляет π с точностью до 100 знаков после запятой.
• 1708 - Секи Такакадзу открывает числа Бернулли . Считается, что Джейкоб Бернулли, в честь которого названы числа, независимо открыл числа вскоре после Такакадзу.
• 1712 - Брук Тейлор разрабатывает серию Тейлора .
• 1722 - Муавр заявляет формулу де Муавр соединительной тригонометрические функции и комплексные числа .
• 1722 - Такебе Кенко вводит экстраполяцию Ричардсона .
• 1724 г. - Абрахам Де Муавр изучает статистику смертности и основы теории аннуитетов в системе Annuities on Lives .
• 1730 - Джеймс Стирлинг издает «Дифференциальный метод» .
• 1733 - Джованни Джероламо Саккери изучает, какой была бы геометрия, если бы пятый постулат Евклида был ложным.
• 1733 - Абрахам де Муавр вводит нормальное распределение для аппроксимации биномиального распределения по вероятности.
• 1734 - Леонард Эйлер вводит метод интегрирующих множителей для решения обыкновенных дифференциальных уравнений первого порядка .
• 1735 - Леонард Эйлер решает проблему Базеля , связывая бесконечный ряд с π.
• 1736 - Леонард Эйлер решает проблему семи мостов Кенигсберга , фактически создавая теорию графов .
• 1739 - Леонард Эйлер решает общее однородное линейное обыкновенное дифференциальное уравнение с постоянными коэффициентами .
• 1742 - Кристиан Гольдбах предполагает, что каждое четное число больше двух может быть выражено как сумма двух простых чисел, теперь известная как гипотеза Гольдбаха .
• 1747 - Жан ле Ронд Даламбер решает задачу о вибрирующей струне (одномерное волновое уравнение ).
• 1748 - Мария Гаэтана Агнеси обсуждает анализ в Instituzioni Analitiche ad Uso della Gioventu Italiana .
• 1761 - Томас Байес доказывает теорему Байеса .
• 1761 - Иоганн Генрих Ламберт доказывает, что π иррационально.
• 1762 г. - Жозеф Луи Лагранж открывает теорему о расходимости .
• 1789 - Юрий Вега улучшает формулу Мачина и вычисляет π до 140 десятичных знаков, 136 из которых были правильными.
• 1794 - Юрий Вега издает Thesaurus Logarithmorum Completus .
• 1796 г. - Карл Фридрих Гаусс доказывает, что правильный 17-угольник можно построить, используя только циркуль и линейку .
• 1796 - Адриен-Мари Лежандр высказывает гипотезу о теореме о простых числах .
• 1797 - Каспар Вессель связывает векторы с комплексными числами и изучает операции с комплексными числами в геометрических терминах.
• 1799 - Карл Фридрих Гаусс доказывает основную теорему алгебры (каждое полиномиальное уравнение имеет решение среди комплексных чисел).
• 1799 г. - Паоло Руффини частично доказывает теорему Абеля – Руффини о том, что уравнения пятой или более высокой степени не могут быть решены с помощью общей формулы.

19 век

• 1801 г. - На латыни издается « Disquisitiones Arithmeticae» , трактат Карла Фридриха Гаусса по теории чисел .
• 1805 - Адриен-Мари Лежандр вводит метод наименьших квадратов для подгонки кривой к заданному набору наблюдений.
• 1806 - Луи Пуансо обнаруживает два оставшихся многогранника Кеплера-Пуансо .
• 1806 г. - Жан-Робер Арган публикует доказательство основной теоремы алгебры и диаграммы Аргана .
• 1807 г. - Жозеф Фурье объявляет о своих открытиях в области тригонометрического разложения функций .
• 1811 г. - Карл Фридрих Гаусс обсуждает значение интегралов со сложными пределами и кратко исследует зависимость таких интегралов от выбранного пути интегрирования.
• 1815 г. - Симеон Дени Пуассон выполняет интегрирование по траекториям в комплексной плоскости.
• 1817 - Бернард Больцано представляет промежуточное значение теоремы -a непрерывная функция , которая является отрицательным в одной точке и положительным в другой точке должна быть равна нулю , по крайней мере в одной точке между ними. Больцано дает первое формальное (ε, δ) -определение предела .
• 1821 - Огюстен-Луи Коши публикует Cours d'Analyse, который якобы содержит ошибочное «доказательство» непрерывности точечного предела непрерывных функций.
• 1822 - Огюстен-Луи Коши представляет интегральную теорему Коши для интегрирования вокруг границы прямоугольника на комплексной плоскости .
• 1822 - Ирисава Синтаро Хироацу анализирует гекслет Содди в Сангаку .
• 1823 - теорема Софи Жермен опубликована во втором издании Лежандр - х Essai сюр ли Théorie де nombres
• 1824 - Нильс Хенрик Абель частично доказывает теорему Абеля – Руффини о том, что общие уравнения пятой или более высокой степени не могут быть решены общей формулой, включающей только арифметические операции и корни.
• 1825 г. - Огюстен-Луи Коши представляет интегральную теорему Коши для общих путей интегрирования - он предполагает, что интегрируемая функция имеет непрерывную производную, и вводит теорию вычетов в комплексный анализ .
• 1825 - Питер Густав Лежен Дирихле и Адриан-Мари Лежандр доказывают Великую теорему Ферма для n = 5.
• 1825 - Андре-Мари Ампер открывает теорему Стокса .
• 1826 - Нильс Хенрик Абель приводит контрпримеры к предполагаемому «доказательству» Огюстена-Луи Коши, что точечный предел непрерывных функций непрерывен.
• 1828 - Джордж Грин доказывает теорему Грина .
• 1829 - Янош Бойяи , Гаусс и Лобачевский изобретают гиперболическую неевклидову геометрию .
• 1831 г. - Михаил Васильевич Остроградский заново открывает и дает первое доказательство теоремы о расходимости, ранее описанной Лагранжем, Гауссом и Грином.
• 1832 г. - Эварист Галуа представляет общее условие разрешимости алгебраических уравнений , тем самым по существу основывая теорию групп и теорию Галуа .
• 1832 - Лежен Дирихле доказывает Великую теорему Ферма для n = 14.
• 1835 - Лежен Дирихле доказывает теорему Дирихле о простых числах в арифметических прогрессиях.
• 1837 - Пьер Ванцель доказывает, что удвоение куба и деление угла пополам невозможно с помощью только циркуля и линейки, а также полное решение проблемы построения правильных многоугольников.
• 1837 - Питер Густав Лежен Дирихле развивает аналитическую теорию чисел .
• 1838 - Первое упоминание о равномерной сходимости в статье Кристофа Гудерманна ; позже формализованный Карлом Вейерштрассом . Равномерная сходимость требуется, чтобы исправить ошибочное «доказательство» Огюстена-Луи Коши непрерывности поточечного предела непрерывных функций из Cours d'Analyse 1821 года .
• 1841 г. - Карл Вейерштрасс обнаруживает, но не публикует теорему о разложении Лорана .
• 1843 г. - Пьер-Альфонс Лоран открывает и представляет теорему о разложении Лорана.
• 1843 - Уильям Гамильтон открывает исчисление кватернионов и делает вывод, что они некоммутативны.
• 1847 - Джордж Буль формализует символическую логику в «Математическом анализе логики» , определяя то, что сейчас называется булевой алгеброй .
• 1849 - Джордж Габриэль Стоукс показывает, что уединенные волны могут возникать из комбинации периодических волн.
• 1850 - Виктор Александр Пюизо различает полюса и точки ветвления и вводит понятие существенных особых точек .
• 1850 - Джордж Гэбриэл Стоукс заново открывает и доказывает теорему Стокса.
• 1854 - Бернхард Риман вводит риманову геометрию .
• 1854 - Артур Кэли показывает, что кватернионы могут использоваться для представления вращений в четырехмерном пространстве .
• 1858 - Август Фердинанд Мебиус изобретает ленту Мебиуса .
• 1858 - Чарльз Эрмит решает общее уравнение квинтики с помощью эллиптических и модулярных функций.
• 1859 - Бернхард Риман формулирует гипотезу Римана , которая имеет сильные последствия о распределении простых чисел .
• 1868 - Бельтры демонстрируют независимость от Евклида «s постулата из других аксиом евклидовой геометрии .
• 1870 - Феликс Клейн строит аналитическую геометрию для геометрии Лобачевского, тем самым устанавливая ее непротиворечивость и логическую независимость пятого постулата Евклида.
• 1872 - Ричард Дедекинд изобретает то, что сейчас называется Дедекиндовым огранкой для определения иррациональных чисел, а теперь используется для определения сюрреалистических чисел.
• 1873 - Эрмит доказывает , что е является трансцендентным .
• 1873 г. - Георг Фробениус представляет свой метод нахождения серийных решений линейных дифференциальных уравнений с регулярными особыми точками .
• 1874 - Георг Кантор доказывает , что множество всех действительных чисел является несчетным бесконечным , но множество всех действительных алгебраических чисел является счетно бесконечным . Его доказательство не использует его диагональный аргумент , который он опубликовал в 1891 году.
• 1882 г. - Фердинанд фон Линдеманн доказывает, что π трансцендентно и, следовательно, круг не может быть возведен в квадрат с помощью циркуля и линейки.
• 1882 - Феликс Кляйн изобретает бутылку Клейна .
• 1895 г. - Дидерик Кортевег и Густав де Фрис выводят уравнение Кортевега – де Фриза, описывающее развитие длинных уединенных волн на воде в канале прямоугольного сечения.
• 1895 - Георг Кантор издает книгу о теории множеств, содержащую арифметику бесконечных кардинальных чисел и гипотезу континуума .
• 1895 - Анри Пуанкаре публикует статью « Analysis Situs », положившую начало современной топологии.
• 1896 - Жак Адамар и Шарль Жан де ла Валле-Пуссен независимо друг от друга доказывают теорему о простых числах .
• 1896 - Герман Минковский представляет Геометрию чисел .
• 1899 - Георг Кантор обнаруживает противоречие в своей теории множеств.
• 1899 - Дэвид Гильберт представляет набор самосогласованных геометрических аксиом в « Основах геометрии» .
• 1900 - Дэвид Гильберт излагает свой список из 23 задач , которые показывают, где требуется дальнейшая математическая работа.

Современный

20 век

• 1901 - Эли Картан разрабатывает внешнюю производную .
• 1901 - Анри Лебег публикует статью об интеграции Лебега .
• 1903 - Карл Дэвид Толме Рунге представляет алгоритм быстрого преобразования Фурье
• 1903 - Эдмунд Георг Герман Ландау дает значительно более простое доказательство теоремы о простых числах.
• 1908 - Эрнст Цермело аксиомизирует теорию множеств , избегая, таким образом, противоречий Кантора.
• 1908 - Иосип Племель решает проблему Римана о существовании дифференциального уравнения с данной монодромной группой и использует формулы Сохоцкого - Племеля.
• 1912 - Луитцен Эгбертус Ян Брауэр представляет теорему Брауэра о неподвижной точке .
• 1912 - Иосип Племель публикует упрощенное доказательство Великой теоремы Ферма для показателя степени n = 5.
• 1915 - Эмми Нётер доказывает свою теорему о симметрии , которая показывает, что каждая симметрия в физике имеет соответствующий закон сохранения .
• 1916 - Сринивас Ramanujan вводит Ramanujan гипотеза . Позднее эта гипотеза обобщена Хансом Петерсоном .
• 1919 - Вигго Брун определяет константу Бруна B ₂ для простых чисел-близнецов .
• 1921 - Эмми Нётер вводит первое общее определение коммутативного кольца .
• 1928 - Джон фон Нейман начинает разработку принципов теории игр и доказывает теорему о минимаксе .
• 1929 - Эмми Нётер представляет первую общую теорию представлений групп и алгебр.
• 1930 - Казимир Куратовски показывает, что проблема трех коттеджей не имеет решения.
• 1930 - Алонсо Чёрч вводит лямбда-исчисление .
• 1931 - Курт Гёдель доказывает свою теорему о неполноте , которая показывает, что каждая математическая система аксиоматики либо неполна, либо непоследовательна.
• 1931 - Жорж де Рам развивает теоремы в когомологиях и характеристических классах .
• 1933 - Кароль Борсук и Станислав Улам представляют теорему Борсука – Улама о противоположных точках .
• 1933 г. - Андрей Николаевич Колмогоров издает книгу « Основные понятия исчисления вероятностей» ( Grundbegriffe der Wahrscheinlichkeitsrechnung ), в которой содержится аксиоматизация вероятности, основанная на теории меры .
• 1938 - Тадеуш Банахевич вводит LU-разложение .
• 1940 - Курт Гёдель показывает, что ни гипотеза континуума, ни аксиома выбора не могут быть опровергнуты стандартными аксиомами теории множеств.
• 1942 - Г. К. Дэниэлсон и Корнелиус Ланцош разрабатывают алгоритм быстрого преобразования Фурье .
• 1943 - Кеннет Левенберг предлагает метод нелинейной аппроксимации методом наименьших квадратов.
• 1945 - Стивен Коул Клини вводит реализуемость .
• 1945 - Сондерс Мак Лейн и Сэмюэл Эйленберг начинают теорию категорий .
• 1945 - Норман Стинрод и Сэмюэл Эйленберг приводят аксиомы Эйленберга – Стинрода для (ко) гомологии.
• 1946 - Жан Лере представляет серию « Спектральная» .
• 1948 - Джон фон Нейман математически изучает самовоспроизводящиеся машины .
• 1948 - Атле Сельберг и Пол Эрдёш независимо друг от друга элементарно доказывают теорему о простых числах .
• 1949 - Джон Ренч и Л. Р. Смит вычисляют π с точностью до 2037 знаков после запятой, используя ENIAC .
• 1949 - Клод Шеннон развивает понятие теории информации .
• 1950 - Станислав Улам и Джон фон Нейман представляют динамические системы клеточных автоматов .
• 1953 - Николас Метрополис вводит идею термодинамических алгоритмов моделирования отжига .
• 1955 - HSM Coxeter et al. опубликуйте полный список однородных многогранников .
• 1955 - Энрико Ферми , Джон Паста , Станислав Улам и Мэри Цингоу численно изучают нелинейную пружинную модель теплопроводности и обнаруживают поведение типа уединенных волн.
• 1956 - Ноам Хомский описывает иерархию из официальных языков .
• 1956 - Джон Милнор обнаруживает существование экзотической сферы в семи измерениях, открывая область дифференциальной топологии .
• 1957 - Киёси Ито разрабатывает исчисление Ито .
• 1957 - Стивен Смейл предоставляет доказательство существования выворота сферы без складок .
• 1958 г. - опубликовано доказательство Александра Гротендика теоремы Гротендика – Римана – Роха .
• 1959 - Кенкичи Ивасава создает теорию Ивасавы .
• 1960 - К.А. Хоар изобретает алгоритм быстрой сортировки .
• 1960 - Ирвинг С. Рид и Гюстав Соломон представляют код исправления ошибок Рида – Соломона .
• 1961 - Дэниел Шэнкс и Джон Ренч вычисляют π с точностью до 100 000 десятичных знаков, используя тождество с обратной касательной и компьютер IBM-7090.
• 1961 - Джон Г. Ф. Фрэнсис и Вера Кублановская независимо друг от друга разрабатывают QR-алгоритм для вычисления собственных значений и собственных векторов матрицы.
• 1961 - Стивен Смейл доказывает гипотезу Пуанкаре для всех размерностей, больших или равных 5.
• 1962 - Дональд Марквардт предлагает алгоритм нелинейной аппроксимации методом наименьших квадратов Левенберга – Марквардта .
• 1963 - Пол Коэн использует свою технику принуждения, чтобы показать, что ни гипотеза континуума, ни аксиома выбора не могут быть доказаны с помощью стандартных аксиом теории множеств.
• 1963 - Мартин Крускал и Норман Забуски аналитически изучают проблему теплопроводности Ферми – Паста – Улама – Цинго в континуальном пределе и обнаруживают, что уравнение КдФ управляет этой системой.
• 1963 - метеоролог и математик Эдвард Нортон Лоренц опубликовал решения для упрощенной математической модели атмосферной турбулентности, известной как хаотическое поведение и странные аттракторы или аттрактор Лоренца, а также Эффект бабочки .
• 1965 - Иранский математик Лотфи Аскер Заде основал теорию нечетких множеств как расширение классического понятия множества и основал область нечеткой математики .
• 1965 - Мартин Крускал и Норман Забуски численно изучают сталкивающиеся уединенные волны в плазме и обнаруживают, что они не рассеиваются после столкновений.
• 1965 - Джеймс Кули и Джон Тьюки представляют влиятельный алгоритм быстрого преобразования Фурье.
• 1966 - Э. Дж. Путцер представляет два метода вычисления экспоненты матрицы в терминах полинома этой матрицы.
• 1966 - Абрахам Робинсон представляет нестандартный анализ .
• 1967 - Роберт Ленглендс формулирует влиятельную программу гипотез Ленглендса, связывающую теорию чисел и теорию представлений.
• 1968 - Майкл Атья и Исадор Сингер доказывают теорему Атьи – Сингера об индексе эллиптических операторов .
• 1973 - Лотфи Заде основал область нечеткой логики .
• 1974 - Пьер Делинь решает последнюю и самую глубокую из гипотез Вейля , завершая программу Гротендика.
• 1975 - Бенуа Мандельброт публикует фракталы Les objets, form, hasard et Dimension .
• 1976 - Кеннет Аппель и Вольфганг Хакен используют компьютер для доказательства теоремы о четырех цветах .
• 1981 - Ричард Фейнман выступает с влиятельным докладом «Моделирование физики с помощью компьютеров» (в 1980 году Юрий Манин предложил ту же идею о квантовых вычислениях в «Computable and Uncomputable» (на русском языке)).
• 1983 - Герд Фалтингс доказывает гипотезу Морделла и тем самым показывает, что существует только конечное число целочисленных решений для каждого показателя Великой теоремы Ферма.
• 1985 - Луи де Бранж де Бурсиа доказывает гипотезу Бибербаха .
• 1986 - Кен Рибет доказывает теорему Рибета .
• 1987 - Ясумаса Канада , Дэвид Бейли , Джонатан Борвейн и Питер Борвейн используют итерационные аппроксимации модульными уравнениями для эллиптических интегралов и суперкомпьютер NEC SX-2 для вычисления числа π с точностью до 134 миллионов знаков после запятой.
• 1991 - Ален Конн и Джон У. Лотт развивают некоммутативную геометрию .
• 1992 - Дэвид Дойч и Ричард Джозса разрабатывают алгоритм Дойча – Йозса , один из первых примеров квантового алгоритма, который экспоненциально быстрее любого возможного детерминированного классического алгоритма.
• 1994 - Эндрю Уайлс доказывает часть гипотезы Таниямы – Шимуры и тем самым доказывает Великую теорему Ферма .
• 1994 - Питер Шор формулирует алгоритм Шора , квантовый алгоритм для целочисленной факторизации .
• 1995 - Саймон Плафф открывает формулу Бейли – Борвейна – Плаффа, способную находить n- ю двоичную цифру числа π.
• 1998 - Томас Каллистер Хейлз (почти наверняка) доказывает гипотезу Кеплера .
• 1999 г. - доказана полная гипотеза Таниямы – Шимуры .
• 2000 - Институт математики Клэя предлагает семь проблем, связанных с нерешенными важными классическими математическими вопросами.

21-го века

• 2002 - Маниндра Агравал , Нитин Саксена и Нирадж Каял из IIT Kanpur представляют безусловный детерминированный алгоритм полиномиального времени для определения того, является ли данное число простым ( тест на простоту AKS ).
• 2002 - Преда Михайлеску доказывает гипотезу Каталонии .
• 2003 - Григорий Перельман доказывает гипотезу Пуанкаре .
• 2004 г. - классификация конечных простых групп , совместная работа нескольких сотен математиков, продолжающаяся пятьдесят лет, завершена.
• 2004 - Бен Грин и Теренс Тао доказывают теорему Грина – Тао .
• 2007 - группа исследователей из Северной Америки и Европы использует компьютерные сети для построения карты E ₈ .
• 2009 - Основная лемма (программа Langlands) будет доказано на Нго Bao Chau .
• 2010 - Ларри Гут и Нетс Хок Кац решают проблему различных расстояний Эрдеша .
• 2013 - Итан Чжан доказывает первую конечную оценку промежутков между простыми числами.
• 2014 - Проект Flyspeck объявляет о завершении доказательства гипотезы Кеплера .
• 2015 - Теренс Тао решает проблему несоответствия Эрдёша
• 2015 - Ласло Бабай обнаруживает, что алгоритм квазиполиномиальной сложности решает проблему изоморфизма графов

Смотрите также

•  Математический портал
• История математической нотации объясняет риторические, синкопированные и символические
• Хронология древнегреческих математиков  - Хронология и резюме древнегреческих математиков и их открытий
• Хронология математической логики

использованная литература

• Дэвид Юджин Смит, 1929 и 1959, Справочник по математике , Dover Publications . ISBN  0-486-64690-4 .

внешние ссылки

• О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , «Математическая хронология» , архив истории математики MacTutor , Университет Сент-Эндрюс