Andrej Bauer: Ali bi lahko realna števila bila števna?

Datum objave: 11. 3. 2019
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 14. 3. 2019, od 11h do 13h, učilnica 3.06, Jadranska 21

Povzetek: Vsi znani dokazi neštevnosti realnih števil se sklicujejo na zakon o izključeni tretji možnosti ali aksiom (števne) izbire. Ali lahko dokažemo neštevnost realnih števil brez uporabe teh dveh principov? Odgovor na to vprašanje je, začuda, neznan. Na seminarju bomo osvetlili ozadje tega vprašanja in pregledali nekaj neuspelih, a poučnih poskusov, da bi se dokopali do rešitve.