Die Theorie des Computers als Teil der Mathematik

S1, F6: Mathematik ist eine lebendige Sprache: Man argumentiert und ständig wird um neue Begriffe gerungen. Alan Turing entwickelte eine neue Sprachweise, um das Rechnen und Beweisen zu beschreiben. Wie die nach ihm benannte Turing-Maschine funktioniert und dass sie das mathematische Modell eines Computers darstellt, erläutert Professor Ziegler in dieser Lektion.