Enumerability, decidability, computability : :: SCD d'Orléans

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Salvato in:

Dettagli Bibliografici
Autore principale:	Hermes, Hans, 1912-2003
Altri autori:	Hermann, G. T. (Traduttore), Plassmann, O. (Traduttore)
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	Berlin ; Heidelberg ; New York : Springer-Verlag 1965.
Serie:	Die Grundlehren der mathematischen Wissenschaften Band 127
Soggetti:	Théorème de Gödel Fonctions récursives Algorithmes
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Enumerability · Decidability Computability : An Introduction to the Theory of Recursive Functions
di: Hermes, Hans, 1912-2003

Enumerability · Decidability Computability : An Introduction to the Theory of Recursive Functions
di: Hermes, Hans, 1912-2003

Theory of recursive functions and effective computability
di: Rogers, Hartley, 1926-2015
Pubblicazione: (1967)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
di: Davis, Martin, 1928-2023, et al.
Pubblicazione: (1965)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
di: Cori, René, 1949-...., mathématicien, et al.
Pubblicazione: (2003)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
di: Cori, René, et al.
Pubblicazione: (1993)

Computability
di: Tourlakis, George J., 1946-
Pubblicazione: (1984)

Computability
di: Weihrauch, Klaus, 1943-
Pubblicazione: (1987)

Computability and unsolvability
di: Davis, Martin, 1928-2023
Pubblicazione: (1958)

Computability and logic
di: Boolos, George, 1940-1996, et al.
Pubblicazione: (1974)

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
di: Delahaye, Jean-Paul, 1952-
Pubblicazione: (2025)

Undecidable theories
di: Tarski, Alfred, 1901-1983
Pubblicazione: (1971)

On formally undecidable propositions of Principia mathematica and related systems
di: Gödel, Kurt, 1906-1978
Pubblicazione: (1962)

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
di: Delahaye, Jean-Paul, 1952-
Pubblicazione: (2025)

The monadic second order theory of all countable ordinals
di: Büchi, Julius Richard, 1924-1984, et al.
Pubblicazione: (1973)

The monadic second order theory of all countable ordinals
di: Büchi, Julius Richard, 1924-1984

Extensional Gödel functional interpretation : a consistency proof of classical analysis
di: Luckhardt, Horst
Pubblicazione: (1973)

Extensional Gödel functional interpretation : a consistency proof of classical analysis
di: Luckhardt, Horst

Les théorèmes d'incomplétude de Gödel
di: Smullyan, Raymond Merrill, 1919-2017
Pubblicazione: (2000)

A Course on Mathematical Logic
di: Srivastava, Sashi Mohan, 19..-

Je suis une boucle étrange
di: Hofstadter, Douglas R., 1945-
Pubblicazione: (2021)

Recursive function theory and logic
di: Yasuhara, Ann Harris, 1932-2014
Pubblicazione: (1971)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
di: Goodstein, Reuben Louis, 1912-1985
Pubblicazione: (1964)

Les théorèmes d'incomplétude de Gödel
di: Smullyan, Raymond Merrill, 1919-2017
Pubblicazione: (1993)

Fonctions récursives
di: Grzegorczyk, Andrzej, 1922-...., philosophe
Pubblicazione: (1961)

Médias récursifs
di: Uricchio, William
Pubblicazione: (2022)

Médias récursifs
di: Uricchio, William
Pubblicazione: (2022)

Le théorème de Gödel
di: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Pubblicazione: (1997)

Word problems : Decision Problems and the Burnside Problem in Group Theory
Pubblicazione: (1973)

Komplexität von Entscheidungsproblemen : ein seminar
di: Specker, Ernst, 1920-2011
Pubblicazione: (2005)

Techniques of Admissible Recursion Theory
di: Chong, Chi-Tat, 1949-...., mathématicien

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
di: Ladrière, Jean, 1921-2007
Pubblicazione: (1992)

Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert
di: Pissavin, Patrice, 1955-
Pubblicazione: (2021)

Algorithmes entre objets et médiums : étude des traces d’un matériau numérique
di: Depaz, Pierre, et al.
Pubblicazione: (2024)

Informatique-programmation. La spécification récursive et l'analyse des algorithmes
di: Grégoire, Paris
Pubblicazione: (1988)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Pubblicazione: (1965)

Subrecursion : functions and hierarchies
di: Rose, Harvey Ernest, 1936-
Pubblicazione: (1984)

Calculabilité effective et algorithmique théorique
di: Vollat, Patrick
Pubblicazione: (1989)

Computations in higher types
di: Moldestad, Johan, 1946-
Pubblicazione: (1977)

Leçons sur les fonctions calculables
di: Uspenskij, Vladimir Andreevič, 1930-2018
Pubblicazione: (1966)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales