Доброго дня, любі друзі.

Минулого разу ми вимушені були (вперше) перервати засідання СМС через тривогу. 🙁 Тож цього разу запрошуємо вас на продовження попередньої доповіді у форматі онлайн-засідання за номером 16 😱.

Тема: "Навколо Теореми Геделя про неповноту".

Доповідач: Артем Гак (@ArtemGak), студент МП КН-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 ?