Unentscheidbare Probleme in der Mathematik
- Termin in der Vergangenheit
- Mittwoch, 24. Mai 2023, 17:00 Uhr
- Mathematikon, Hörsaal, Im Neuenheimer Feld 205, 69120 Heidelberg
- Prof. Dr. Dr. Katrin Tent, Universität Münster, Mathematisches Institut und Institut für Mathematische Logik und Grundlagenforschung
Können Computer die Nullstellen eines Polynoms finden? Das klingt erst einmal wie eine relativ einfache Aufgabe. Aber kann man ein Programm schreiben, dass bei Eingabe eines Polynoms entscheidet, ob dieses Polynom Nullstellen in den natürlichen oder ganzen Zahlen hat? Und was hat diese Frage mit den berühmten Gödelschen Sätzen zu tun? Diese Fragen klärt der Vortrag und stellt die Zusammenhänge her.
Adresse
Mathematikon
Hörsaal
Im Neuenheimer Feld 205
69120 HeidelbergVeranstalter
Veranstaltungstyp
Vortrag
Homepage Veranstaltung
Kontakt
Der Vortrag wird organisiert von der Forschungsstelle Geometrie + Dynamik am Mathematischen Institut der Universität Heidelberg mit Unterstützung des Exzellenzclusters STRUCTURES und des SFB/TRR 191 “Symplectic Structures in Geometry, Algebra and Dynamics”.