Langsamkeitssatz

Der Langsamkeitssatz in der Mathemagie sagt aus, dass es für jedes lösbare mathematische Problem ein Kamel gibt, das es am langsamsten löst. Das ist insofern für die Planung bedeutsam, da es kein Kamel geben kann, dass das Problem noch langsamer löst, als das Langsamste.

Eine endliche Turingmaschine kann ein Problem ebenfalls nicht langsamer lösen als das langsamste Kamel. Allerdings ist dies einer endlosen Turingmaschine möglich. Eine endlose Turingmaschine ist nicht notwendigerweise unendlich. Es gibt ringförmig-endlose, aber auch offen endlose Turingmaschinen, die vielfach auch als belastbare Möbius-Schleife bekannte, so genannte „Lange Bank“.

wiki:Langsamkeit wiki:Satz