Berechenbarkeit

Begriff der mathematischen Logik und der Informatik: Eine Funktion ist berechenbar, wenn sie nach Vorgabe eines zulässigen Arguments durch einen Algorithmus in endlich vielen Schritten berechnet werden kann.