Forums Neueste Beiträge
 

Durchbruch für WM: Abzählbarkeit gezeigt

01/04/2009 - 14:03 von Klaus Stein | Report spam
Wie ich heute zu meinem großen Erstaunen feststellen mußte, hat WM es
letztlich geschafft, seine Überlegungen zur Abzàhlbarkeit von R doch noch zu
einem sauberen Beweis zu fassen. Das Paper befindet sich zur Zeit
anscheinend im Review, ein Preprint ist unter
<http://tinyurl.com/R-numerable> zu finden.

Mich wundert, daß er noch nicht von sich aus auf diesen Durchbruch
aufmerksam gemacht hat, anscheinend wartet er noch das Reviewing ab.

Soweit ich das heute übersehen kann, wird dies nicht auf nur große Teile der
Analysis sondern vor allem die darunterliegenden Formalisierungen bedeutende
Auswirkungen haben.

Gratulation!

Auf spannende Zeiten,
Klaus
http://lapiz.istik.de/

The Answer is 42. And I am the Answer. Now I am looking for the Question.
 

Lesen sie die antworten

#1 Rainer Rosenthal
01/04/2009 - 15:22 | Warnen spam
Klaus Stein schrieb:
Wie ich heute zu meinem großen Erstaunen feststellen mußte, hat WM es
letztlich geschafft, seine Überlegungen zur Abzàhlbarkeit von R doch noch zu
einem sauberen Beweis zu fassen. Das Paper befindet sich zur Zeit
anscheinend im Review, ein Preprint ist unter
<http://tinyurl.com/R-numerable> zu finden.



Und hier gibt es eine weitere Reaktion:
http://tinyurl.com/HS-Augsburg

Gruss,
Rainer

Ähnliche fragen