Home -> Themen -> Funktionen
Eine Funktion f : A -> B heißt berechenbar, wenn es eine Turing-Maschine M gibt, die zu jedem a aus A den Funktionswert f(a) berechnet.
Beispiele :
Man kann Funktionen definieren, die nicht berechenbar sind.
Im Thema Halteprobleme wird eine solche Funktion angegeben.