Berechenbarkeit und Komplexität: Turing-Mächtigkeit (Fr, 10.11.2023)
  • Einbetten

Kapitel:

00:02:56
Entscheidungsprobleme für CFGs
00:22:56
Integration in geschlossener Form
00:26:42
Satz von Richardson
00:28:51
Hilberts zehntes Problem
00:42:08
Turing-Mächtigkeit
00:52:09
Conway's Game of Life