Lexikon der Mathematik: GOTO-berechenbar
Eigenschaft einer Funktion f : ℕ0k → ℕ0.
Eine solche Funktion f ist GOTO-berechenbar, falls es ein GOTO-Programm gibt, welches f berechnet.
GOTO-Berechenbarkeit ist eine mögliche unter vielen äquivalenten Definitionen von „berechenbar“ (Churchsche These).
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.