Julia Robinson und die Grenzen der Mathematischen Beweiskraft

Erkunden Sie in diesem 51-minütigen öffentlichen Vortrag die faszinierende Welt der diophantischen Gleichungen und die fundamentalen Grenzen mathematischer Beweisbarkeit. Tauchen Sie ein in ganzzahlige Problemstellungen, die nach Diophantos von Alexandria benannt sind, und lösen Sie konkrete Beispiele, einschließlich des berühmten Rätsels aus Diophantos' eigenem Epitaph über sein Lebensalter. Entdecken Sie geometrische Lösungsmethoden und verstehen Sie, warum diese scheinbar einfachen Gleichungen zu den schwierigsten Problemen der Mathematik gehören. Lernen Sie, wie jahrzehntelange Forschung von Logikern und Mathematikern bewiesen hat, dass es unmöglich ist, algorithmisch zu entscheiden, ob eine diophantische Gleichung überhaupt eine Lösung besitzt. Erleben Sie als besondere Höhepunkte ein Polynom, das Primzahlen "ausspuckt", und ein faszinierendes Spiel, bei dem ein Spieler immer gewinnen kann, aber niemals eine berechenbare Gewinnstrategie entwickeln kann. Begegnen Sie den außergewöhnlichen Lebensgeschichten der Pioniere Kurt Gödel, Alan Turing und Julia Robinson, deren bahnbrechende Arbeiten diese mathematischen Erkenntnisse ermöglicht haben und deren persönliche Werdegänge in den Vortrag eingewoben werden.