250126 SE Seminar (Beweisanalyse) (2012W)

Sieben klassische Sätze der Mathematik werden genau durchleuchtet hinsichtlich ihrer Herkunft und historischen Entwicklung sowie durch Diskussion verschiedener Versionen und verschiedener Beweise. In Zweier-Gruppen wird jeweils ein Satz erarbeitet und in zwei Doppelstunden vorgestellt.

Mögliche Sätze: Satz von Hahn-Banach, Banach'scher Fixpunktsatz, Aequivalenz von Satz inverse + implizite Funktionen und HS gew. DGL., Brouwer'scher Fixpunktsatz, Satz von Bernstein-Koushnirenko über Anzahl von Lösungen polynomialer Gleichungen, Hilbert'scher Nullstellensatz und Noether-Normalisierung, Rogers-Ramanujan Identität, Siegel'sches Problem der kleinen Nenner, Satz von Frobenius (Rektifizierung von VF), Hauptsatz der Galois-Theorie, Jordan'sche Normalform, Bernstein-Sato Polynom, Cauchy'scher Integralsatz, Maximumsprinzip