250103 SE Seminar (Beweisanalyse) (2013S)

Dieses Seminar greift klassische Sätze und Themen der Mathematik auf, um deren diverse Formulierungen und Beweise miteinander zu vergleichen. Insbesondere wird auch die historische Entwicklung der Sätze unter die Lupe genommen.

Mögliche Themen: LLL-Algorithmus in Z^n, Hakenlängeformel der Kombinatorik, Weierstrass'scher Approximationssatz, Zeilberger-Algorithmus für Differenzengleichungen, Knotentheorie und Invarianten, Riemann'scher Abbildungssatz, Irrationalität von Zeta(3), Siegel'sches Problem der kleinen Nenner, Julia-Mengen und Fraktale, Gefangenen-Dilemma und Nash-Gleichgewichte in der Spieltheorie, Hilbert'sches 16. Problem über die Anzahl von Grenzzykeln von Vektorfeldern, Billard-Problem, Wallpaper-Gruppen, Kugel-Packungen, der Dimensionsbegriff in verschiedenen Kontexten, reguläre Polyeder im R^4, Ehrhart-Polynom konvexer Polytope, Klein's Erlangener Programm und hyperbolische Geometrie, Jacobi-Vermutung, ...

Anmeldung und Vergabe der Themen bei den Lehrveranstaltungsleitern.