Карта → город
Кёнигсберг
ныне Калининград
5 событий · 7 линий истории математики
-
11828Бессель: сколько теряет отрезанный ряд
Астроном, считавший возмущения планет, доказывает: сумма квадратов коэффициентов не превосходит квадрата нормы, а коэффициенты Фурье — наилучшие из возможных. Равенство достигается тогда и только тогда, когда система полна.
-
21888–1893«Это не математика, это теология»
Гильберт доказывает теорему о базисе неконструктивно — чистым существованием, не предъявляя базиса. Возглас Гордана стал крылатым; это момент, когда алгебра приняла доказательства существования.
-
31893Гильберт: теорема о нулях
Множества решений систем уравнений и идеалы в кольце многочленов — одно и то же, записанное двумя способами. Словарь между алгеброй и геометрией, на котором стоит вся алгебраическая геометрия.
-
41910–1912Бибербах: восемнадцатая проблема, часть первая
Гильберт спросил в 1900 году: конечно ли число кристаллографических групп в пространстве любого числа измерений? Двадцатичетырёхлетний приват-доцент отвечает «да» — и попутно показывает, что всякая такая группа устроена одинаково: решётка переносов с конечной надстройкой над ней.
-
57 сентября 1930Кёнигсберг, 7 сентября 1930
На круглом столе двадцатичетырёхлетний Гёдель в проходной реплике объявляет, что во всякой достаточно богатой формальной системе есть истинные, но недоказуемые утверждения. Реплику замечает один человек в зале. Назавтра в том же городе Гильберт произносит «мы должны знать — мы будем знать».