At the Age of 24, Alan Turing published his famous Paper "ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM" in 1936.
There he first described his hypothetical Turing_Machine, which is still an important Tool in theoretical Computer_Science Today.
This Movie shows how the Machine works and also explains Turing's Proof of David_Hilbert's Decision_Problem.
Anchor links:
00:14 Historical Introduction
03:17 Explanation Turing_Machine
07:29 Example: Binary plus one
09:33 Important Steps & Today's Terminology
11:16 Turing_Completeness
16:18 The Universal Turing Machine (UTM)
20:05 Proof of the Halting_Problem
Recommended playlists:
- Computers simply explained: • Computer einfach erklärt
- Computer Museums: • Computermuseen
- Contemporary witnesses of computer history: • Zeitzeugen der Computergeschichte
Links:
- Turing‘s Paper: https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
- UTM in C: https://github.com/michael-holzheu/turing-machine
Music used:
- Dua Lipa: Physical (Official Instrumental): https://www.youtube.com/watch?v=_eU12nuBYdE
- Dua Lipa: Don't Start Now (Official Instrumental): https://www.youtube.com/watch?v=ZKlWxGnw9qU
- Dua Lipa: Physical (Official Video) https://www.youtube.com/watch?v=9HDEHj2yzew
Changelog:
- 2020/03/26 First Version
- 2020/03/29 Fixed minor Bug made some Beautifications
- 2021/05/09 Make Music a little quieter
8 Comments