Die Berechenbarkeitstheorie wird oft auch als Rekursionstheorie bezeichnet. Manchmal wird letzterer Begriff auch benutzt, wenn man die Berechenbarkeitstheorie als Teilgebiet der mathematischen Logik auffasst oder um zu betonen, dass auch verallgemeinerte Formen von ''Berechenbarkeit'' und Definierbarkeit betrachtet werden.<ref>{{Wikipedia|Berechenbarkeitstheorie|oldid=162317964}}</ref>
[[Möglichkeit]] der [[Vorhersage]] des [[Ergebnis]]ses mittels [[logisch]]er [[Mittel]]