Das Kefk Network Wiki befindet sich im Testbetrieb.
Berechenbare Zahl
Aus Kefk.
Mit dem Begriff berechenbare Zahl werden solche Zahlen ausgezeichnet, bei denen alle Dezimalstellen mit einer Berechnungsvorschrift erzeugt werden können. So ist es insbesondere interessant zu wissen, dass es nicht berechenbare Zahlen gibt. Mit der Church-Turing-These kann man für den Begriff Berechnungsvorschrift die Turingmaschine wählen.
Definition
Eine Zahl 
heißt genau dann berechenbar, wenn es eine Turing-Maschine gibt, die für jedes ε > 0 eine Zahl q ausgibt, so dass 
gilt, die also die Zahl r beliebig genau approximieren kann.
Eigenschaften
Alle natürlichen, rationalen und algebraischen Zahlen sind berechenbar, aber auch einige transzendente Zahlen, z.B. die Kreiszahl π oder die Eulersche Zahl e. Sind die Phasen einer Turingmaschine so eingerichtet, dass sie jeweils die nächste Dezimalstelle ausgeben, so stimmt dies mit einem elementaren Interpolationsverfahren überein. Die jeweilige (auch irrationale) berechnenbare Zahl ist insofern gleichbedeutend mit dem Grenzwert ihrer Cauchy-Folge, man kann also die berechenbaren Zahlen durch die entsprechenden berechenbaren Cauchy-Folgen definieren.
Siehe auch
 | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Berechenbare_Zahl, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
