Können Spiele denken?

A lecture at the University of Münster as part of the "Bridges of Mathematics" series. It deals with undecidable questions that arise in games like Tetris or Sokoban. It also touches on Turing machines, the halting problem, Post's correspondence problem, Minecraft, Conway's Game of Life, and finally, emergence. Due to technical difficulties during the live broadcast, I had to re-record the lecture at home at my desk. The NEWEST book: https://weitz.de/5UR/ All my books: https://weitz.de/books.html CORRECTIONS: https://weitz.de/corr/Hk82JDo35Eg Translation of C programs into Turing machines: https://weitz.de/files/turing.pdf Hilbert's Tenth Problem:    • Hilberts zehntes Problem (Weihnachtsvorles...   Conway's Game of Life:    • Game of Life (JavaScript)   Conway's Fractran:    • Die einfachste Programmiersprache der Welt...   More about games and John Conway:    • Surreale Zahlen - reell, infinitesimal, tr...   Regular expressions:    • Was sind reguläre Ausdrücke? (Theoretische...   A computer in Conway's Game of Life:    • Let’s BUILD a COMPUTER in CONWAY's GAME of...   A computer in Minecraft:    • Let's Make a Redstone Computer!   BBC report from 1966 about Turing Machines:    • 1966: Alan Turing's Machines | Mathematics...   Davey's Turing Machine: https://aturingmachine.com/ Bridges in Mathematics: https://www.uni-muenster.de/Mathemati... List of all videos: https://weitz.de/haw-videos/ Illustrations by Heike Stephan:   / haiartandillustration   FAQ: https://weitz.de/youtube.html 00:00 Intro 02:22 The Halting Problem 11:02 Turing Machines 22:03 Post's Correspondence Problem 28:49 Tetris 38:39 Sokoban 43:49 Emergence Corrections: 42:01 Please note the correction instructions in the video description.