Lexikon der Mathematik: Turing-berechenbar
Bezeichnung für eine Funktion, die mittels einer Turing-Maschine berechnet werden kann. Da aufgrund der Churchschen These alle Berechenbarkeitsbegriffe untereinander äquivalent sind, wird der Vorsatz „Turing“ auch oft weggelassen.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.