Berechenbarkeit und Komplexität: Allgemeines Halteproblem und Hilberts 10. Problem (Mi, 09.11.2022)
Zur Veranstaltungsseite
  • Einbetten

Kapitel:

00:00:00
Wiederholung
00:32:39
Anwendung von Reduktion
00:55:34
Hilberts zehntes Problem
01:00:45
Diophantische Gleichungen
01:05:40
Hilberts zehntes Problem als Entscheidungsproblem
01:12:50
Satz von Matiyasevich