alpha hat geschrieben:Was sagt ihr denn zu dieser "neuen", zweiten Variante zur VI?
IV: Für alle n aus N gilt: Wenn p(n) für ein h aus N mit h<=n gilt, dann auch für p(n+1)
Sicher, dass du das richtig mitgeschrieben hast? Es müsste meiner Meinung nach eher "Wenn p(n) für
alle h aus N mit h <= n gilt" heißen. Das wird dann gerne mal als Induktionsprinzip II, oder allgemeiner, noethersche Induktion bezeichnet.
Die Idee ist hierbei, dass man im Induktionsschritt zu n+1 manchmal nicht nur auf die Aussage für n zurückgreifen muss, sondern auch mal n-1 braucht. Das ist, wenn man strikt nach n->n+1 vorgeht, nicht wirklich möglich (auch wenn ich nie gesehen habe, dass das jemand angestrichen hätte...)
Marc