Turing lesen. Eine Reise durch Turings historischen Artikel über Berechenbarkeit und Turing-Maschinen

Hauptideen

• Untersuchung von Alan Turings Arbeit «On Computable Numbers, with an Application to the Entscheidungsproblem» und deren Einfluss auf die Entwicklung der Informatik.
• Das Konzept der Turing-Maschine als abstraktes Modell der Berechnung und ihre Rolle bei der Entstehung der theoretischen Informatik.
• Analyse des Begriffs der Berechenbarkeit und ihrer Grenzen, einschließlich des Halteproblems.
• Historischer Kontext und Entwicklung der Ideen zur Formalisierung von Algorithmen und Berechnungen.
• Einfluss von Turings Arbeit auf die Entwicklung moderner Computer und Programmierung.
• Detaillierte Kommentierung und Erklärung der komplexen mathematischen und logischen Konzepte, die in Turings Originalarbeit vorgestellt wurden.