Ankündigung zum Seminar

Transfinite Methoden über endlichen Gruppen

Dozenten

Prof. Max Likelihood, P.D. Dr. Albatross Frankinfueter, PhD Malvin Smith

Voraussetzungen

Grundkenntnisse zur kommutativen Wahrscheinlichkeitsalgebra sind nicht zwingend notwendig aber hilfreich. Diskret-topologische Wahrscheinlichkeitslogik in zwei Veränderlichen sollte bekannt sein. Mathematische Eichtheorie wird vorausgesetzt.

Inhalt

Besprochen werden zahlreiche Beweismethoden unter Benutzung transfiniter Methoden, mit denen sich viele Sätze über gegebene endliche Gruppen zeigen lassen.

Schein

Kein Schein.

Termin

Wird noch bekanntgegeben.

Literatur (Vorläufig)

Locus Solum (Jean-Yves Girard)
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme II. (Kurt Gödel)
The Self-Elimination of Exact Knowledge Through Finite Contradictions in Mathematics and Logic. (Eduard Wette)
Weitere Literatur wird noch bekanntgegeben.

Themenliste (Vorläufig)

1. Eine Klassifikation aller endlichen Gruppen bis auf Isomorphie durch transfinite Rekursion
2. Eine Klassifikation aller endlichen Gruppen bis auf Isomorphie als Fixpunkte frei homotoper Funktionen auf Semitopologien
3. Eine Klassifikation aller endlichen Gruppen bis auf Isomorphie durch getypte Lambda-Ausdrücke über Mahlo-Kardinalzahlen
4. Die Widersprüchlichkeit von ZFC, der Satz von Wette
5. Konsequenten der Widersprüchlichkeit von ZFC für endliche Gruppen
6. Einführung in elementare konstruktive Mengenlehre
7. Kripkemodelle und endliche Gruppentheorie
8. Widersprüche in der Minimallogik und ihre Auswirkungen auf die endliche Gruppentheorie, eine Verallgemeinerung des Satzes von Wette
9. Presburger Arithmetik über unendlich vielen Veränderlichen
10. Folgen von Folgen von Folgen von Homomorphismen von Gruppen in Gruppen von Ringen von Klassen über Modellen von Mengenlehren und verwandten Systemen

(Ich weise darauf hin, dass es sich bei dieser Seminarankündigung natürlich um einen Scherz eines Studenten handelt.)