Во вторник 16 апреля в 14.30 состоится заседание № 997 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Д.С. Пушкарев
Тема: Реферат статьи M. Fox.«On Formally Undecidable Traits of Intelligent Machines»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.