BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Артем Гак\, "Навколо Теореми Геделя п
 ро неповноту"
DTSTART;VALUE=DATE-TIME:20240423T140000Z
DTEND;VALUE=DATE-TIME:20240423T150000Z
DTSTAMP;VALUE=DATE-TIME:20260519T073700Z
UID:indico-event-1648@events.imath.kiev.ua
DESCRIPTION:Speakers: Артем Гак\n\nДоброго дня\, люб
 і друзі.\nМинулого разу ми вимушені були (
 вперше) перервати засідання СМС через тр
 ивогу. 🙁 Тож цього разу запрошуємо вас н
 а продовження попередньої доповіді у фо
 рматі онлайн-засідання за номером 16 😱.\n\
 n\nТема: "Навколо Теореми Геделя про непов
 ноту".\nДоповідач: Артем Гак\, студент МП К
 Н-2 у КМА.\nЧас: Вт\, 23.04 о 17:00.\n\nЗум:  https://zoom.
 us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09\n519 767 3308\n213122
 \n\nНа вас чекає захоплива доповідь про ло
 гіку та формалізацію математики\, на які
 й ми обговоримо такі питання:\nЩо є матем
 атичним доведенням? Що взагалі можна дов
 ести? \nЩо означає несуперечливість сист
 еми аксіом? Як порівняти за силою різні а
 ксіоматики? \nДе знайти логіку 1\,2\,3\,...\,n-о
 го порядку ?\nЧому MK > NBG = ZFC > PA і що взагалі
  сховано за цими абревіатурами?\nНаскіль
 ки важливою є повнота теорії та чому Кон
 тинуум гіпотеза не залежить від аксіом ZF
 C ?\n\nhttps://events.imath.kiev.ua/event/1648/
LOCATION:ONLINE
URL:https://events.imath.kiev.ua/event/1648/
END:VEVENT
END:VCALENDAR