Auswahlaxiom

📓 Vortragsfolien

• auf Deutsch
• auf Englisch mit zusätzlichen Notizfolien (und Bonus-Rätsel)

💻 Hyperberechnung

• Vortragsfolien auf Deutsch
• Vortragsfolien auf Englisch
• Vortragsaufzeichnung 1, Vortragsaufzeichnung 2

🏫 Konferenzen/Herbstschulen

• In Baumhäusern übernachten (6. bis 15. Juni, Ravensburg, unter Mitwirkung Augsburger Mathematiker*innen)
• AI Transforms Math Research (August, Augsburg)
• CIRM: Synthetic mathematics, logic-affine computation and efficient proof systems (September, Luminy)
• Autumn school: Proof and Computation (September, Herrsching)
• Chaos Communication Congress (27. bis 30. Dezember, Hamburg)

ℹ️ Weitere Materialien

• Tipp von Hannes: The Search for the Longest Infinite Chess Game
• Tipp von Adrian: Oracle von Greg Egan (Kurzgeschichte, in der Gödels Unvollständigkeitssatz vorkommt)
• Kurzgeschichte von Eliezer Yudkowsky, in der Superheld*innen unter anderem mit Ideen wie im universellen Algorithmus aus Universen ausbrechen
• Unterlagen zu einem QED-Kurs zu Topostheorie
• Aufzeichnung einer früheren Uni-Augsburg-Vorlesung zu Logik (inklusive Topostheorie)
• Einführungsartikel zum mengentheoretischen Multiversum
• Einführungsartikel zum topostheoretischen Multiversum
• Let's play Agda (Online-Plattform, um Agda zu lernen, inklusive Kursaufzeichnungen; in Agda kann man mathematische Beweise eingeben und diese nach Korrektheitsprüfung dann ausführen lassen, als seien sie Computerprogramme)
• Aufzeichnung und Unterlagen zu einem dreitägigen Kurs zu Extraktion von Programmen aus Beweisen