BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Gunther Cornelissen: To boldly go where no (wo)man has gone before
 : Julia Robinson und die Grenzen der Mathematischen Beweiskraft [Public Ev
 ent]
DTSTART:20251127T180000Z
DTEND:20251127T200000Z
DTSTAMP:20260417T222900Z
UID:indico-event-840@math-events.uni-bonn.de
DESCRIPTION:Eine vorherige Anmeldung ist erforderlich. / Registration is n
 ecessary.\nEvent website with registration\nTo boldly go where no (wo)man 
 has gone before: Julia Robinson und die Grenzen der Mathematischen Beweisk
 raftGunther Cornelissen (Utrecht University)\nIm Anschluss wird der Film 
 "Julia Robinson and Hilbert's 10th Problem" gezeigt.\nZusammenfassung:Für
  manche Probleme ergeben nur ganzzahlige Lösungen Sinn: Wenn höchstens 1
 00\,4 Personen in einen Zug passen\, dann eben nur 100. Nach Diophantos vo
 n Alexandria werden ganzzahlige mathematische Problemstellungen "diophanti
 sche Gleichungen" genannt\, und wir werden uns genauer mit deren Lösungen
  befassen. Ein Beispiel: Wie alt Diophantos wurde\, wissen wir – passend
 erweise – nur\, indem wir eine solche Gleichung lösen\, die in seinem E
 pitaph vorkommt. Nachdem wir einige Gleichungen gelöst haben – unter Ei
 nbeziehung geometrischer Methoden –\, wollen wir besser verstehen\, wie 
 schwierig das Problem im Allgemeinen ist. Dank jahrzehntelanger Arbeit von
  Logikern und Mathematikern wissen wir heute\, dass wir nicht einmal algor
 ithmisch entscheiden können\, ob eine diophantische Gleichung eine Lösun
 g hat oder nicht. Als Zugabe gibt es ein Polynom\, das Primzahlen „aussp
 uckt“\, und ein Spiel\, bei dem ein Spieler immer gewinnen\, aber die Ge
 winnstrategie niemals berechnen kann. Maßgeblich dazu beigetragen haben K
 urt Gödel\, Alan Turing und Julia Robinson\, deren ungewöhnliche Lebensg
 eschichten in den Vortrag eingebunden werden.\n\nhttps://math-events.uni-b
 onn.de/event/840/
LOCATION:HIM
URL:https://math-events.uni-bonn.de/event/840/
END:VEVENT
END:VCALENDAR