Карта → город
Кембридж
8 событий · 9 линий истории математики
-
11664–1665Барроу: касательные и площади взаимно обратны
Исаак Барроу, учитель Ньютона, фактически формулирует основную теорему анализа — в геометрическом облачении. Недостающий мост между двумя классами задач.
-
2лекции 1673–1683, издана в 1707Ньютон: «Всеобщая арифметика»
Лекции, которые Ньютон читал по обязанности лукасовского профессора и печатать не хотел: издание вышло без его имени. Между тем в XVIII веке это была самая читаемая его математическая книга — и именно из неё в школу пришли формулы для сумм степеней корней, правило о целых корнях и обсуждение правила знаков Декарта.
-
3т. I — 1910, т. II — 1912, т. III — 1913«Principia Mathematica»: три тома ради «1+1=2»
Рассел и Уайтхед десять лет выводят арифметику из чистой логики. Теория типов запрещает парадокс — ценой такой громоздкости, что «1+1=2» доказывается в середине второго тома с пометкой «предложение иногда бывает полезно».
-
41930Рамсей: полный беспорядок невозможен
В любой достаточно большой структуре найдётся большой упорядоченный кусок — как ни старайся его разрушить. Теорема доказана как вспомогательная лемма в работе по логике; автор умер в том же году, двадцати шести лет.
-
51936Тьюринг: что такое «вычислить»
Чтобы ответить «алгоритма не существует», надо сперва сказать, что такое алгоритм. В 1936 году это сделали трижды и независимо, и все три определения совпали. У Тьюринга определение оказалось не только точным, но и чертежом машины, которой ещё не было.
-
61960-е; окончательная формулировка — 1965Бёрч и Свиннертон-Дайер: гипотеза из машинного эксперимента
Два кембриджских математика считают точки на эллиптических кривых на ламповой ЭВМ, смотрят на графики и высказывают гипотезу о величине, про которую тогда не было даже известно, что она определена. Сегодня это одна из семи задач тысячелетия.
-
7наблюдение Огга — 1975, гипотеза — 1979, доказательство — 1992Moonshine: Монстр и лунный свет
Маккей замечает: $196\,884 = 196\,883 + 1$. Гипотеза «Monstrous Moonshine» связала крупнейшую конечную симметрию с теорией чисел и теорией струн; Борчердс доказал — Филдсовская медаль.
-
8доказательство закончено в декабре 2004, объявлено в апреле 2005Машина проверяет математику
Жорж Гонтье доводит теорему о четырёх красках до формального доказательства в Coq: плоскость задана формулой Эйлера, перебор конфигураций стал шагом самого доказательства, а доверять теперь надо только ядру проверяющей программы — несколько тысяч строк вместо семисот сорока одной страницы.