Карта → город

Стокгольм

4 события · 4 линии истории математики

1. 1
   1888

   Ковалевская: волчок и премия Бордена

   Геометрия

   Третий и последний интегрируемый случай вращения тяжёлого твёрдого тела — после Эйлера и Лагранжа. Метод оказался важнее результата: Ковалевская искала не решение, а условие однозначности решения в комплексном времени, и этот приём стал стандартным тестом на интегрируемость. Премию Парижской академии повысили с трёх до пяти тысяч франков.

2. 2
   1900–1903

   Фредгольм: линейная алгебра переживает переход к бесконечности

   Функциональный анализ

   Интегральное уравнение — это система линейных уравнений, у которой неизвестных континуум. Определитель, формулы Крамера и альтернатива «либо единственное решение, либо нетривиальное ядро» переносятся туда целиком. Гильберт, услышав об этом на семинаре, отложил свои планы на шесть лет.

3. 3
   статья — 1966; работа у Колмогорова в Москве — 1964–1965

   Мартин-Лёф: случайно — значит проходит все проверки

   Математическая логика Демон и монетка

   Швед, приехавший учиться к Колмогорову, доводит определение до конца с другой стороны. Всякая проверка на случайность указывает множество меры нуль — последовательности, подозрительные по какому-то признаку. Проверок бесконечно много, но эффективных, тех, что выполнит машина, — счётное число, и их можно свести в одну, самую сильную. Случайно то, что эту проверку проходит. Позже выяснилось, что получается ровно тот же класс, что и через сложность, — если сложность считать в самоограниченном виде.

4. 4
   1972–1973

   Гусь для Энфло

   Функциональный анализ

   Энфло решает проблему аппроксимации и проблему базиса, стоявшую с 1932 года. Обещанный во Львове живой гусь вручён в Варшаве — через 36 лет после записи задачи в «Шкоцкой книге».