Научные вечера Lector.ru: теоремы Геделя и вопросы вычислимости