4 janv. 1933 - Математическая логика и обоснование математики в России

Description:

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