Zu den vor einiger Zeit hier vorgestellten
Gedanken zu überabzählbaren Zahlenmengen habe ich zufällig eine brauchbare Antwort gefunden (im
Buch "Computerdenken" von Roger Penrose).
Man spricht bei den von mir benannten Zahlen, die sich durch einen Algorithmus (den man auf ein endliches Blatt aufschreiben kann), von berechenbaren reellen Zahlen, während es im Gegensatz dazu auch nicht berechenbare reelle Zahlen gibt, also solche, für die kein Algorithmus (bspw. eine Turingmaschine) existiert, der die Zahl (oder deren n-te Stelle) ausgibt. Es gibt also mathematisch gesehen durchaus Zahlen, die zwar irgendwie existieren, für deren Berechnung man aber keinerlei Rechenvorschrift angeben kann.