Berechenbarkeit #19 - Ackermann-Funktion

EMPFEHLUNG: Die erwähnte Serie "Ridiculously Huge Numbers" von David Metzler:

In diesem Video sehen wir uns die extrem schnell wachsende Ackermann-Funktion an. Hierfür sehen wir uns zuerst die Grundidee an, wie man extrem schnell wachsende Funktionen konstruieren kann und danach die Ackermann-Funktion als eine konkrete Umsetzung dieser Idee. Die Ackermann-Funktion ist nicht LOOP-berechenbar und nicht primitiv rekursiv, aber sie ist berechenbar im Sinne der Church-Turing-These, kann also von einem Computerprogramm bzw. einer Turingmaschine berechnet werden.

[TheKurama]

Das sich ein Fremder auf YT mehr Mühe macht das verständlich zu machen als mein gut bezahlter Dozent ist wirklich krass. Vielen Dank dafür!

[maar]

ich bin ein ausländischer Student und kann nicht so gut deutsch weil ich B1/B2 niveau bin. Aber nach ich diese Video angeschaut hat, kann ich sagen, dass ich kann jetzt auf einem neue Perspektive denken. Danke mein Held für dein Hilfe!

[fettigeredgar]

Deine Videos sind ausführlich und die Inhalte werden immer bestens erklärt. Saubere Arbeit!

[peetKa]

Der eine Dislike hat versucht das LOOP 5 Programm zu starten und der Computer ist abgeraucht

[felixgaebler]

Ich: Auf dem letzten Drücker für das Fachgespräch lernen
Auch ich: "Rediculous Huge Numbers" klingt nach etwas was ich mir zuerst anschauen möchte

[xeli]

Ich glaube ihm.... Mein Gehirn sagt ja.
Danke für dieses aufschlussreiche Video!

[Themogawave]

Wie immer ein sehr gutes Video! Vielen Dank und weiter so :)

[jannik]

Sehr ausführliches Video, genau das, was ich gesucht habe. Super Arbeit!

[dazzle]

Danke für das Video! :) Ich denke wenn ich mir deine ganzen Playlists gebe, wird das eventuell auch was mit der TI Klausur xD

[roshy]

4:10 Du sagst 2^2^2^2 (also 2 Doppelpfeil 4) ist gleich 2^65536 (also 2 Doppelpfeil 5). Ist das nicht falsch? Oder blicke ich da was nicht?

[tonikaiser]

Also man kann das nicht mit loop machen weil man dazu wissen müssen täte wieviele Loops es gebe und das tut man nicht
Verstehe ich das richtig?

[tarikeld]

1:55 was wäre eigentlich die, ,0." Stufe?

[prodyvsko]

Sehr schönes Video!:) Ist noch etwas zum Thema µ-Rekursion geplant?:o

[xyoxus]

Hab sowas ähnliches schon mal gesehen, weil Elon Musk ein Artikel dazu auf Twitter geteilt hat.

[AwsmBuff]

9:11 Jemand eine Ahnung, wie solche Beweise aussehen würden?

[tonikaiser]

Ja aber so ein Loop wäre ja eigentlich immer eine endlosschlife weil wenn da x = x + 1 steht dann wäre das x ausen ja wieder um eines größer und so wird dann das x = x+1 pro durchgang um einen durchgag erhöht.

[johnparker]

3:07 2^16 != 2^65536, Sonst gutes Video

[gohan]

Ist die von Levi Ackermann aus AoT? :0