Vortrag im Collegium Alexandrinum: Alan Turing zum 110. Geburtstag, 23.06.2022
Prof. Dr. Rolf Wanka vom Lehrstuhl für Informatik 12 hat am 23. Juni 2022, dem 110. Geburtstag von Alan Turing, im Collegium Alexandrinum einen Vortrag zum wissenschaftlichen Beitrag Turings zur Informatik gehalten. Der Vortrag kann auf fau.tv unter diesem Link angesehen werden.
Zusammenfassung des Vortrags:
Alan Turing ist einer der (Mit-)Begründer der Informatik. Seine Formalisierung des Rechnens, die zum allseits anerkannten mathematischen, heute Turing-Maschine genannten Modell für das maschinelle Rechnen geführt hat, ist ein Meilenstein der Entwicklung der Informatik als einer auch in der Mathematik begründeten Wissenschaft. Neben der Erkenntnis, dass ein Computer „universell programmierbar“ ist, d.h. dass nur ein einziger gebauter Computer für alles Berechenbare benötigt wird, hat Turing auch bereits die inhärente, unüberwindbare Grenze des Berechenbaren in Form der sog. „Unentscheidbarkeit des Halteproblems“ entdeckt und bewiesen. Diese Aussage ist eine fundamentale Grenze für Computer jeder Art, vergleichbar mit der Lichtgeschwindigkeit in der Physik. Im Vortrag wurde die Turingmaschine kurz vorgestellt und die Unentscheidbarkeit des Halteproblems thematisiert.
Die Folien zum Vortrag können unter diesem Link heruntergeladen werden.