Powered by Indico
v3.1
Доброго дня, любі друзі.
Минулого разу ми вимушені були (вперше) перервати засідання СМС через тривогу. 🙁 Тож цього разу запрошуємо вас на продовження попередньої доповіді у форматі онлайн-засідання за номером 16 😱.
Тема: "Навколо Теореми Геделя про неповноту".
Доповідач: Артем Гак, студент МП КН-2 у КМА.
Час: Вт, 23.04 о 17:00.
Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
519 767 3308
213122
На вас чекає захоплива доповідь про логіку та формалізацію математики, на якій ми обговоримо такі питання:
Що є математичним доведенням? Що взагалі можна довести?
Що означає несуперечливість системи аксіом? Як порівняти за силою різні аксіоматики?
Де знайти логіку 1,2,3,...,n-ого порядку ?
Чому MK > NBG = ZFC > PA і що взагалі сховано за цими абревіатурами?
Наскільки важливою є повнота теорії та чому Континуум гіпотеза не залежить від аксіом ZFC ?