Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen /

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen /

Saved in:

Bibliographic Details
Author / Creator:	Deutsch, Michael, 1944-
Imprint:	Bremen : Universitätsdruckerei Bremen, c2003.
Description:	232 p. ; 30 cm.
Language:	German
Subject:	Recursive functions. Algorithms. Gödel's theorem. Algorithms. Gödel's theorem. Recursive functions.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/6287160

Hidden Bibliographic Details
Varying Form of Title:	Über Nachfolgerbereichen
ISBN:	3887225783 9783887225780
Notes:	Includes bibliographical references (p. 229-232).

Similar Items

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1961)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1971)

Enumerability, decidability, computability. An introduction to the theory of recursive functions.
by: Hermes, Hans
Published: (1969)

Enumerability, decidability, computability; an introduction to the theory of recursive functions
by: Hermes, Hans
Published: (1965)

A decision method for elementary algebra and geometry,
by: Tarski, Alfred
Published: (1951)

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999)

Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla /
by: Murawski, Roman
Published: (1990)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)

Recursive algorithms /
by: Lorentz, Richard J.
Published: (1994)

Super-recursive algorithms /
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)

Algoritmy i rekursivnye funkt͡sii /
by: Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967
Published: (1986)

Super-recursive algorithms /
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)

Gödel's incompleteness theorems /
by: Kennedy, Juliette, 1955-
Published: (2022)

Gödel's theorem : a very short introduction /
by: Moore, A. W., 1956-
Published: (2022)

Gödel's way : exploits into an undecidable world /
by: Chaitin, Gregory J.
Published: (2012)

Le théorème de Gödel /
Published: (1997)

Gödel's incompleteness theorems /
by: Smullyan, Raymond M.
Published: (1992)

Godel's theorem in focus /
Published: (1988)

Undecidable theories.
by: Tarski, Alfred
Published: (1968)

Gödel's proof /
by: Nagel, Ernest, 1901-1985
Published: (2001)

Gēderu, fukanzensei teiri : "risei no genkai" no hakken /
by: Yoshinaga, Yoshimasa, 1953-, et al.
Published: (1992)

Gödel's proof /
by: Nagel, Ernest, 1901-1985
Published: (2005)

Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)

There's something about Gödel : the complete guide to the incompleteness theorem /
by: Berto, Francesco
Published: (2009)

Kurt Gödel and the foundations of mathematics : horizons of truth /
Published: (2011)

Kurt Gödel and the foundations of mathematics : horizons of truth /
Published: (2011)

Mechanism, mentalism, and metamathematics : an essay on finitism /
by: Webb, Judson Chambers, 1936-
Published: (1980)

Gēderu no tetsugaku : fukanzensei teiri to kami no sonzairon.
by: Takahashi, Shōichirō, et al.
Published: (1999)

A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers.
by: Bouvère, Karel Louis de
Published: (1959)

Can mathematics be proved consistent? : Gödel's shorthand notes & lectures on incompleteness /
by: Von Plato, Jan
Published: (2020)

On undecidable propositions of formal mathematical systems.
by: Gödel, Kurt
Published: (1934)

Kurt Gödel : The Princeton lectures on intuitionism /
by: Gödel, Kurt
Published: (2021)

Metamathematics, machines, and Gödel's proof /
by: Shankar, N. (Natarajan)
Published: (1994)

Gödel : une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes gödeliens /
by: Delessert, André
Published: (2000)

The relationship between the structure and degrees of recursively enumerable sets /
by: Miller, David Paul, 1955-
Published: (1981)

Algorithms and recursive functions,
by: Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967
Published: (1970)

Topics in recursively enumerable sets and degrees /
by: Lempp, Steffen, 1959-
Published: (1986)

[Algoritmy i rekursivnye funkt͡sii].
by: Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967
Published: (1965)

Die Gödelschen Unvollständi[g]keitssätze : zur Geschichte ihrer Entstehung und Rezeption /
by: Ketelsen, Christel
Published: (1994)

On formally undecidable propositions of Principia mathematica and related systems.
by: Gödel, Kurt
Published: (1962)