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...

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...

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...

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...

Ein bestimmter Vorschlag wird abgelehnt. Ein bestimmter Tatbestand ist nicht gegeben. Die Wahrheitsfrage bezogen auf eine bestimmte Behauptung wird negativ beantwortet. Die Negation einer Aussage brauchen wir, wenn wir einem bestimmten Irrtum respektive Lüge entgegentreten. Viele Signalwörter für die...