Neben mathematischen Fachvorträgen gab es bei der ÖMG-DMV-Tagung diese Woche in Salzburg auch interessante Vorträge zur Zukunft des Wissensmanagements. Für Mathematiker von Interesse war auf jeden Fall die Ankündigung des Zentralblatts, an einem Feature zu arbeiten, mit dem künftig alle eine bestimmte Formel enthaltenden Arbeiten angezeigt können werden sollen. Dafür sollen die Referate im Zentralblatt…
Wir hatten vor zwei Monaten mal über mathematische Theorien geschrieben, in denen aus der Verneinung einer Verneinung nicht die Richtigkeit der doppelt verneinten Aussage folgen würde, in denen also der “Satz vom ausgeschlossenen Dritten” und demzufolge dann auch das Auswahlaxiom nicht gälte. In einer Welt ohne Auswahlaxiom und ausgeschlossenes Drittes könnte jede Menge messbar sein…
Letzte Kommentare