|
00:00:20
|
Wiederholung |
|
00:04:39
|
Syntax von LOOP |
|
00:07:07
|
Semantik von LOOP |
|
00:14:47
|
LOOP-berechenbare Funktionen |
|
00:18:25
|
Die Turmfunktion |
|
00:23:40
|
Laufzeit von LOOP-Programmen |
|
00:25:08
|
Vermutung von Hilbert |
|
00:26:34
|
Ackermann: Vermutung ist falsch! |
|
00:28:33
|
Die Ackermann-Funktion |
|
00:37:47
|
Wachstum für feste m |
|
00:40:49
|
Monotonieeigenschaften der Ackermannfunktion |
|
00:51:14
|
Wachstum der Variableninhalte in einem LOOP-Programm |
|
00:53:47
|
Ackermannfunktion vs. Fp |
|
01:12:21
|
Nicht-LOOP-Berechenbarkeit der Ackermannfunktion |
|
01:15:27
|
Schlussfolgerungen |
|
01:16:52
|
LOOP-entscheidbare Mengen |
|
01:18:33
|
Zusammenfassung - Berechenbarkeit |