Die These von Church und weitere Begriffe der Berechenbarkeit

Zusammenfassung

Eine Funktion ist intuitiv berechenbar, wenn es ein einheitliches endliches Verfahren gibt, so daß zu jedem Argument der Wert berechnet werden kann, und zwar in endlich vielen Schritten (in endlicher Zeit, mit endlicher Arbeit, im endlichem Raum). Diese Beschreibung ist so unscharf wie der Begriff des einheitlichen endlichen Verfahrens. Man hat sich nun in verschiedener Weise um Präzisierungen bemüht. Einige wollen wir hier nennen.