Фрагмент лекции (без вопросов и обсуждения) Льва Ламберова «Теоремы Гёделя о неполноте» (2 декабря 2021 г.) из курса «Множества, типы, вычисления» для студентов Уральского гуманитарного института Уральского федерального университета им. первого Президента России Б.Н.Ельцина. Направление подготовки: 45.03.04 Интеллектуальные системы в гуманитарной сфере.