|R überabzählbar (Maschineller Beweis in ZFC für Hartgesottene)

22/11/2010 - 12:55 von Jens Schweikhardt | Report spam
Hallo Welt!

Hier fand ich einen maschinellen Beweis, ausgehend
von den ZFC Axiomen, der ohne
Cantors Diagonalargument auskommt:
http://us.metamath.org/mpeuni/ruc.html

Eine informelle Erlàuterung, wie der Beweis
durchgeführt wird, findet sich unter
http://us.metamath.org/mpegif/mmcom...ncountable

Nicht verstanden? Dann bitte unter
http://us.metamath.org/mpeuni/mmset.html
den Abschnitt
"Read this section carefully to learn how
to follow a Metamath proof." lesen.

Regards,
Jens
 

Lesen sie die antworten

#1 Karl Eins
22/11/2010 - 13:42 | Warnen spam
Jens Schweikhardt schrieb:

Nicht verstanden?



Doch! Es sind ZU VIELE!

Ähnliche fragen