Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I/Repetitorium/20/Berechenbarkeit/Studentenfrage/Antwort

Wir haben Berechenbarkeit nicht formal definiert. Mathematisch formalisiert heißt die Berechenbarkeit, dass man einen Algorithmus dafür angeben kann. Also zum Beispiel eine Funktionsvorschrift. Das heißt also einfach, dass bekannt ist wie man die Funktion konkret für die Werte im Definitionsbereich ausrechnet.