圆柱
发表于 2025-4-1 02:47:54
http://reply.papertrans.cn/63/6274/627343/627343_61.png
FOLD
发表于 2025-4-1 07:58:36
,Unterprogramme für Registermaschinen,In diesem Abschnitt sollen Programme zur normierten Berechnung von Addition, Subtraktion, Multiplikation und Potenz aufgestellt werden.
Galactogogue
发表于 2025-4-1 11:34:24
Verzweigung von Programmen,Bisher haben wir Funktionen betrachtet, bei deren Berechnung die Iterationsschleife eine wesentliche Rolle spielte.
无政府主义者
发表于 2025-4-1 14:29:45
,Primitiv-rekursive Prädikate,In der Einleitung war schon erwähnt worden, daß sich in natürlicher Weise Funktionen und Prädikate entsprechen: Zu jeder Funktion definiert der Graph der Funktion ein Prädikat und jedes Prädikat P definiert seine sogenannte charakteristische Funktion, die wir mit f. bezeichnen wollen.
Infuriate
发表于 2025-4-1 21:12:45
,Die Rekursivität der RM-berechenbaren Funktionen,Im 10. Kapitel haben wir bewiesen, daß jede primitiv-rekursive Funktion RM-berechenbar ist. Wir wenden uns jetzt der Frage zu, ob auch die Umkehrung gilt.
无可非议
发表于 2025-4-2 01:55:59
http://reply.papertrans.cn/63/6274/627343/627343_66.png