Langsamkeitssatz: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K |
|||
| Zeile 1: | Zeile 1: | ||
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, das das Problem noch langsamer löst, als das langsamste. | 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, das das Problem noch langsamer löst, als das langsamste. | ||
| − | Eine endliche Turingmaschine kann ein Problem ebenfalls nicht | + | 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 | + | Eine endlose Turingmaschine ist nicht notwendigerweise unendlich. Es gibt ringförmig-endlose, aber auch offen endlose Turingmaschinen, die so genannte "lange Bank". |
[[Kategorie:Mathematik]] | [[Kategorie:Mathematik]] | ||
Version vom 17. Mai 2008, 16:16 Uhr
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, das 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 so genannte "lange Bank".