Endlosrekursion

Der Ausdruck infiniter Regress (auch unendlicher Regress oder Endlosrekursion; regressus in/ad infinitum) wird allgemein in der Logik (Argumentationstheorie) und speziell in der Mathematik und Informatik verwendet.

Infiniter Regress im Sinne der Logik (Argumentationstheorie)

Der infinite Regress ist ein Sonderfall des Regresses im logischen Sinn und bezeichnet das Rückschreiten ins Unendliche in einer unendlichen Reihe. Ein Argument, das auf einen infiniten Regress hinausläuft, gilt als nicht besonders überzeugend. So versuchte zum Beispiel Aristoteles gegnerische Positionen dadurch zu widerlegen, dass er ihnen einen unendlichen Regress nachwies.

Ein unendlicher Regress liegt vor, "wenn die Bedingung (Ursache) selbst wiederum ein Bedingtes (Wirkung) ist und dies sich unbegrenzt fortsetzt"^[1].

In der Philosophie ist der unendliche Regress eine der drei unerwünschten Alternativen im Münchhausen-Trilemma (jede Begründung muss wiederum begründet werden, ohne dass diese Folge jemals zu einem Ende kommt).

Infiniter Regress in der Mathematik und Informatik

In der Mathematik und Informatik bezeichnet "infiniter Regress" einen endlosen Selbstaufruf. Ein infiniter Regress entsteht beispielsweise durch eine Funktion, die auf sich selbst verweist (Rekursion), ohne dass eine gültige Abbruchbedingung den Prozess jemals beendet.

Beispielsweise ist die Fibonacci-Folge rekursiv, jedoch entsteht hier kein infiniter Regress. Diese ist definiert als:

f(0) = f(1) = 1

f(n) = f(n − 1) + f(n − 2)

d.h. es werden als erste zwei Folgenglieder die Eins definiert, und als n-tes die Summe der zwei vorherigen Folgenglieder. Ein Beispiel für eine infinit regressive Folge wäre

f(n) = f(n).

Möchte man hier das n-te Folgenglied berechnen, so tritt nach Funktionsvorschrift dieser Prozess in eine Endlosschleife. Die Funktion f ruft sich dabei ständig selbst auf, ohne - wie bei der Fibonacci-Folge - das Resultat auf eine der Anfangsbedingungen zurückzuführen.

Zur Erkennung und Vermeidung von infinitem Regress, insbesondere von Computerprogrammen, bedient man sich der semantischen Verifikation von rekursiven Funktionen. Der Beweis, dass kein infiniter Regress vorliegt, wird dann zumeist mittels einer Schleifeninvariante geführt (siehe auch Invariante). Dieser Beweis ist allerdings nicht immer möglich (siehe Halteproblem).

Einzelnachweise

1. ↑ Schülerduden, Philosophie, 2. Aufl. (2002)/Regress