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

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.