Карта → город

Иваново

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

1. 1
   1936

   Мальцев: теорема компактности и рождение теории моделей

   Математическая логика Нить пятого постулата

   Теорема, без которой нет ни нестандартного анализа, ни современной теории моделей, доказана преподавателем Ивановского пединститута, куда его распределили после университета. Через пять лет он же покажет, как переводить ею теоремы логики в теоремы алгебры.