Im Digitec Podcast der FAZ ging es gestern um Mathematik: Alexander Armbruster sprach mit Aeneas Rooch über sein im März erschienenes Buch „Die Entdeckung der Unendlichkeit“. https://m.faz.net/podcasts/f-a-z-digitec-podcast/wie-wurde-mathematik-was-sie-heute-ist-aeneas-rooch-17956790.html?interaktiv_platzhalter Nach einem Vorgeplänkel von 10 Minuten („ich habe Mathematik studiert, weil ich in der Schule Spaß am Ableiten hatte“) geht es um die Irrationalität der Diagonale im Einheitsquadrat…

„Die Wahrheit ist eine zu ernste Sache als dass wir sie ausschließlich mathematischen Theorien überlassen sollten“, ist das Fazit eines neuen bei ARTE erstellten Videos:

Die Bourbaki-Gruppe, die in der Mitte des vorherigen Jahrhunderts mit einer Reihe von Lehrbüchern die reine Mathematik auf eine gemeinsame Grundlage stellen wollte, ging nicht davon aus, dass Mathematik komplett formalisiert werden könne. Dementsprechend machte sie sich auch keine Gedanken darüber, ob ein Ansatz mit Blick auf Formalisierbarkeit effizienter sein könnte als ein anderer. Sie…

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.