Карта → город
Урбана (Иллинойс)
2 события · 4 линии истории математики
-
11953Дуб: мартингалы и «справедливая игра»
Джозеф Дуб издаёт «Stochastic Processes» — книгу, после которой аксиоматика Колмогорова стала рабочим языком, а мартингал — центральным понятием. Идея честной игры, восходящая к Гюйгенсу, получает точное определение и мощнейшие теоремы.
-
221 июня 1976Урбана: четыре краски доказаны машиной
1936 конфигураций, около 1200 часов машинного времени — и гипотеза, простоявшая 124 года, доказана. Вместе с ней пришёл вопрос, которого математика прежде не знала: что считать доказательством, если ни один человек не может его прочитать?