--------------------------------------------------------------------- Объединенный семинар ИСИ СО РАН и НГУ "Конструирование и оптимизация программ" (проводится с 1979 года) Руководитель - проф. В.Н. Касьянов http://pco.iis.nsk.su/seminar --------------------------------------------------------------------- Заседание N 997 16 апреля 2024 Время: 14.30 Подключиться к конференции Zoom можно по ссылке https://us04web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09 Идентификатор конференции: 84148408391 Код доступа: i7f1Xv --------------------------------------------------------------------- Д.С. Пушкарев Реферат статьи M.Fox.«On Formally Undecidable Traits of Intelligent Machines» ---------------------------------------------------------------------