A note on recursive functions.

DOI10.1090/S0002-9904-1936-06353-6MaRDI QIDQ2605700zbMATH OpenFDO

Authors Stephen Cole Kleene

Publication date 1936

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9904-1936-06353-6

Review text

Enthält eine Ergänzung zu der vorstehend besprochenen Arbeit des Verf., in der, im Anschluß an \textit{Herbrand} und \textit{Gödel}, die bisher umfassendste Definition der Rekursivität einer zahlentheoretischen Funktion aufgestellt worden ist. Es wird unter Benutzung von früheren \textit{Gödel}schen Ergebnissen gezeigt, daß die allgemeinsten rekursiven Funktionen des Verf. sich aus den Funktionen \(x + y\), \(x \cdot y\) und \(\delta_y^x\) (dem \textit{Kronecker}schen \(\delta\)) gewinnen lassen durch wiederholte Anwendung der Ineinanderschachtelung und der Operation, die von einer Funktion \(\varrho(x_1, \dots, x_n, y)\), wo \(\varrho(x_1, \dots, x_n, y) = 0\) für jedes \(x_1, \dots, x_n\) Lösungen in \(y\) hat, zur Funktion \(\varphi(y_1, \dots, y_n)\) überzugehen gestattet, deren Wert das kleinste \(y\) ist, für das \(\varrho(x_1, \dots, x_n, y) = 0\).

This page was built for publication: A note on recursive functions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2605700)