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

Durch die Verknüpfung der Aussagen A, B und C mit Hilfe des Bindeworts „und“ entsteht eine neue Aussage. Diese nennt man „Konjunktion“. Für die Konjunktion schreibt man kurz: (A und B und C). Berichte sind Konjunktionen, wobei das Wort „und“ oft weggelassen...