Graphschemata und rekursive funktionen

Dialectica 12 (3‐4):373-393 (1958)
  Copy   BIBTEX

Abstract

ZusammenfassungBei der Programmierung der Rechenautomaten ist es Brauch, den Gedankengang mit Skizzen zu begleiten and dadurch an‐schaulich zu machen. Durch Graphschemata können auch zahlentheore‐tische Funktionen definiert werden. Kaluẑnin stellte die Aufgabe, die derart definierten zahlentheoretischen Funktionen je nach der Kompliziert‐heit der betreffenden Graphschemata in Klassen zu teilen. Es war zuvermuten, dass man auf diese Weise konstruktive Zwischenstufen zwischen den bekannten speziell‐rekursiven Funktionen und den allgemein‐rekursiven Funktionen erhaält. Die vorliegende Arbeit zeigt, dass dieser Weg nicht gangbar ist, da sich jede allgemein‐rekursive Funktion durch Graphschemata von ähnlicher Struktur definieren lässt

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Sich ans Werk machen.Amrei Bahr - 2020 - Zeitschrift für Ästhetik Und Allgemeine Kunstwissenschaft 65 (1):41-58.

Analytics

Added to PP
2013-11-21

Downloads
22 (#960,280)

6 months
4 (#1,232,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Mathematical Logic Quarterly 9 (22):331-346.
A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (22):331-346.
Selektive Graphschemata.Jürgen Kunze - 1967 - Mathematical Logic Quarterly 13 (7-12):101-122.
Funktionen-Algorithmen und Graphschemata.Günter Asser - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):20-27.

Add more citations

References found in this work

Completeness and persistence in the theory of models.Abraham Robinson - 1956 - Mathematical Logic Quarterly 2 (1-4):15-26.
Note on a problem of L. Henkin.Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (1):33-35.

Add more references