IMG_0437

Vor Jahren hörte ich mal einen Kolloquiumsvortrag, in dem ein australischer Professor über eine Theorie referierte, in der aus der Verneinung der Verneinung nicht die Richtigkeit einer Aussage folgt. Zum Abschluß meinte er noch geheimnisvoll, seine Theorie sei “not without applications” und war sich der Komik dieses Statements – aus dem in seiner Logik ja…

Singularitäten mittels Stromverteilung.

Wo Löwen und Drachen wohnen.

Die DMV würdigt den heutigen 150. Geburtstag von David Hilbert mit einem kurzen Artikel und dem Kommentar:

Gödels Unvollständigkeitssatz – oft von raunenden Philosophen zitiert – jeder hat davon gehört, nicht jeder kennt den genauen Inhalt.

“Die Philosophie ist heute bestenfalls dort wo die Mathematik bei den Babyloniern war.”

Die Podiumsdiskussion von der DMV-Tagung ist jetzt online.

Herr Schildkröte sagt, daß kein hinreichend mächtiger Plattenspieler in dem Sinn vollkommen sein kann, daß er jeden möglichen Ton auf einer Platte widergeben kann. Gödel sagt, daß kein hinreichend mächtiges formales System in dem Sinn vollkommen sein kann, daß es jede einzelne wahre Aussage als einen SATZ widergeben kann. Wie Herr Schildkröte aber im Hinblick…

Einen recht provokanten Vortrag hat Vladimir Voevodsky vor 2 Wochen bei der 80-Jahr-Feier des IAS in Princeton gehalten.

Wenn die Riemann-Vermutung nicht entscheidbar ist, dann ist sie wahr.