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.
In Kolumbien wird heute ein neuer Präsident gewählt, ein Duo zweier (ehemaliger) Mathematik-Professoren könnte Präsident und Vizepräsident werden.
“Man kann nur dann mit Hilfe der Logik zur Wahrheit gelangen, wenn man sie ohnehin gefunden hat.” (G.K.Chesterton)
Michael Freedman schlägt vor, komplexitäts-theoretische Vermutungen als zusätzliche Axiome zur üblichen ZF-Mengenlehre zu postulieren. Als Anwendung beweist er eine Ungleichung für die Weite von Knoten.
Am Dienstag erscheint “An Epic Search for Truth”, ein Komik von Doxiadis und Papadimitrou über die Geschichte der Logik im 20 Jahrhundert.
Letzte Kommentare