Lexikon der Mathematik: berechenbare Funktion
eine Funktion
Die Churchsche These drückt hierbei die Überzeugung aus, daß durch diese Definition der Berechenbarkeitsbegriff adäquat erfaßt ist.
Da es überabzählbar viele arithmetische Funktionen gibt, aber nur abzählbar viele Turing-Maschinen, folgt hieraus, daß es auch nicht-berechenbare Funktionen geben muß. Ein konkretes Beispiel ist die busy-beaver-Funktion.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!