К.А. Ковалёв. О неразрешимости теории поля рациональных чисел и теории натуральных чисел с ...

2026 г. НОЦ. Рабочий семинар по математической логике К.А. Ковалёв. О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости 4 марта 2026 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8) Источник: http://www.mathnet.ru/present49380 Все видео курса: https://www.mathnet.ru/conf2533 https://www.youtube.com/playlist?list=PLUbD59ZHv1GT19__fIPcTSeVHMiepWddK