Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Образовательный семинар по математической логике

Руководят семинаром Н. К. Верещагин, Д. В. Мусатов и А. Ю. Румянцев.

Рассчитан на студентов 3—5-го курсов. Цель семинара — познакомить студентов с классическими результатами математической логики, такими как теорема Гёделя о полноте, теоремы Гёделя о неполноте (первая и вторая), разрешимость элементарной теории действительных чисел.