4 Fragen an die Bundeskanzlerin Angela Merkel zur MINT-Förderung, gestellt von Stephanie Schiemann

Vor 10 Tagen erreichte mich völlig überraschend die Anfrage, unserer Bundeskanzlerin Frau Merkel vier Fragen zur MINT-Förderung zu stellen. Zum Glück stand kein Urlaub an, sodass ich kurzentschlossen zusagte. Hier geht´s zum pdf hier zum Podcast.Jede Woche gibt es so ein Interview unter der Rubrik „Die...

Asiens älteste Sternwarte

Ich bin diese Woche auf einer Konferenz in Gyeongju, der früheren Hauptstadt des Silla-Reiches (bis 935).In dem Ort befindet sich die vermutlich älteste Sternwarte Asiens, Cheomseongdae, gebaut um 640:Das Loch in der Mitte ist übrigens der Eingang, den man nur über eine Leiter erreichte.Man hat...

Ausstellung im Haus der Mathematik

Auf dem Gelände der ENS Lyon gibt es seit 2012 das Maison des mathématiques et de l'informatique de Lyon mit einer permanenten Ausstellung mathematischer Objekte.In TvF 230 hatten wir mal darüber geschrieben, dass es zwar keine 2-mal differenzierbaren Einbettungen des flachen Torus in den 3-dimensionalen...

Kritik der formalen Logik, insbesondere mit Hilfe der drei Sprachebenen in der Logik

Es ist merkwürdig, dass die Logik und das logische Denken heute so wenig miteinander zu tun haben. In der modernen Literatur über Logik findet man fast immer die formale Logik, welche die echte Implikation (Schlussfolgerung) ziemlich unmotiviert durch die "materiale Implikation" ersetzen möchte...

Nachweismethoden für deduktive Systeme und das Axiomensystem der Logik

Möglicherweise denken wir beim Stichwort „Beweis“ zunächst an den Nachweis der Wahrheit für einen bestimmten Lehrsatz der Mathematik. Dies aber wäre eine verengte Sichtweise. Es gibt nämlich sieben weitere Beweisziele: der Nachweis für die Unwahrheit einer Aussage, für...