Chaitinsche Konstante
Die chaitinsche Konstante gibt die Wahrscheinlichkeit an, mit der eine universelle Turingmaschine für eine beliebige Eingabe anhält. Sie ist nach Gregory Chaitin definiert als:
wobei ein haltendes Programm ist und die Länge des Programms in Bits bezeichnet.
Bemerkung: Da es gewisse Freiheiten gibt, universelle Turingmaschinen zu definieren, hängt der genaue Wert der Konstante von der gewählten Maschinendefinition ab.
Durch Kenntnis der ersten n bit der Konstante lässt sich das Halteproblem für bis zu n bit lange Programme entscheiden, sodass sich durch genaue Kenntnis der ersten paar tausend bit der Konstante viele interessante Probleme der Mathematik lösen ließen.
Literatur
Eric W. Weisstein: Chaitin's Constant, [http://mathworld.wolfram.com/ChaitinsConstant.html MathWorld--A Wolfram Web Resource]
Weblinks
* Die ersten 64 Bit einer chaitinschen Konstante: [http://www.cs.auckland.ac.nz/~cristian/ Cristian S. Calude's Website]

