Карта → город

Манчестер

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

1. 1
   1922

   Морделл: рациональные точки образуют группу с конечным числом образующих

   Теория чисел

   Метод секущих Диофанта доведён до конца: все рациональные точки эллиптической кривой получаются из конечного числа исходных. А в конце той же статьи брошено вскользь замечание, которое станет гипотезой Морделла и продержится шестьдесят один год.

2. 2
   Парис — Харрингтон — 1977, Кирби — Парис — 1982

   Кирби и Парис: неполнота приходит в обычную арифметику

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

   Полвека гёделевские недоказуемые утверждения оставались самоссылающимися курьёзами: «я недоказуемо» — не то, что придёт в голову обычному математику. Манчестерские логики предъявляют утверждения о натуральных числах, которые придумал бы кто угодно, — и доказывают, что арифметика Пеано с ними не справляется.