BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Артем Гак\, "Складність Колмогорова 
 та неповнота Геделя"
DTSTART;VALUE=DATE-TIME:20240416T143000Z
DTEND;VALUE=DATE-TIME:20240416T160000Z
DTSTAMP;VALUE=DATE-TIME:20260519T063200Z
UID:indico-event-1635@events.imath.kiev.ua
DESCRIPTION:Speakers: Артем Гак\n\nШановне товарист
 во\, в 2024 році СМС проходить надзвичайно 
 потужно\, чому є свідченням такий факт: м
 и запрошуємо вас уже на 15-те засідання се
 зону!\n\nТема: "Складність Колмогорова та 
 неповнота Геделя" Доповідач: Артем Гак\, 
 МП КН-2 у КМА\n\nЧас: Вт\, 16.04 о 17:30.\nМісце: ау
 д 219 Інституту математики.\nЗум:  https://zoom.us
 /j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09\n519 767 3308\n213122\n
 \nКоли ми говоримо про складність задачі\
 , то зазвичай запитуємо\, скільки ресурсі
 в потрібно\, щоб її вирішити. Наприклад\, 
 скільки кроків алгоритму потрібно\, аби 
 знайти шлях між парою вершин у графі.\n\nЯ
 кщо у нас є два рядки символів "0101010101" та "
 0111010011"\, то інтуїтивно зрозуміло\, що перш
 ий рядок "простіший": він періодичний і й
 ого можна стиснути. Чисельно можна визна
 чити так: K(x) = довжина найменшої програми
 \, що виводить рядок x.\n\nУ доповіді ми роз
 глянемо поняття складності Колмогорова 
 та скористаємось ним\, щоб довести два ва
 жливі результати математики 20 ст.: пробл
 ему зупинки Черча-Тьюрінга та неповноту 
 Геделя.\n\nhttps://events.imath.kiev.ua/event/1635/
LOCATION:IM/2-219 (IM)
URL:https://events.imath.kiev.ua/event/1635/
END:VEVENT
END:VCALENDAR