Undecidable theories :: SCD d'Orléans

Undecidable theories

Undecidable theories

Na minha lista:

Detalhes bibliográficos
Autor principal:	Tarski, Alfred, 1901-1983
Outros Autores:	Mostowski, Andrzej, 1913-1975 (Collaborateur), Robinson, Raphael Mitchel, 1911-1995 (Collaborateur)
Formato:	Livre papier
Idioma:	Anglais
Publicado em:	Amsterdam : North-Holland 1971.
Colecção:	Studies in logic and the foundations of mathematics
Assuntos:	Gödel, Théorème de
Autres localisations:	Voir dans le Sudoc

Registos relacionados

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

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Por: Davis, Martin, 1928-2023, et autres
Publicado em: (1965)

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

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

Extensional Gödel functional interpretation : a consistency proof of classical analysis
Por: Luckhardt, Horst
Publicado em: (1973)

The monadic second order theory of all countable ordinals
Por: Büchi, Julius Richard, 1924-1984, et autres
Publicado em: (1973)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
Por: Hermes, Hans, 1912-2003
Publicado em: (1965)

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

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

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

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

Je suis une boucle étrange
Por: Hofstadter, Douglas R., 1945-
Publicado em: (2021)

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

Le théorème de Gödel
Por: Nagel, Ernest, 1901-1985, philosophe, logicien, et autres
Publicado em: (1997)

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
Por: Ladrière, Jean, 1921-2007
Publicado em: (1992)

Komplexität von Entscheidungsproblemen : ein seminar
Por: Specker, Ernst, 1920-2011
Publicado em: (2005)

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

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

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
Por: Cori, René, 1949-...., mathématicien, et autres
Publicado em: (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
Por: Cori, René, et autres
Publicado em: (1993)

Kurt Gödel et son panthéon démoniaque : vers un autre théorème sinthomatique ?
Por: Gumpper, Stéphane, et autres
Publicado em: (2010)

Roger Godel : de l'humanisme à l'humain
Por: Asfar, Antoine
Publicado em: (1963)

Les démons de Gödel : logique et folie
Por: Cassou-Noguès, Pierre, 1971-
Publicado em: (2012)

Le programme de Gödel et la subjectivité mathématicienne
Por: Cassou-Noguès, Pierre
Publicado em: (2022)

De quoi l'objet a est-il le nom ?
Por: Blesson, Mathieu
Publicado em: (2014)

Gödel
Por: Cassou-Noguès, Pierre, 1971-
Publicado em: (2004)

Gödel
Por: Cassou-Noguès, Pierre, 1971-
Publicado em: (2008)

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
Por: Bulloff, Jack J., 19..-

Kurt Gödel philosopher-scientist
Por: Crocco, Gabriella, 1963-, et autres
Publicado em: (2021)

Complete theories
Por: Robinson, Abraham, 1918-1974
Publicado em: (1956)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Por: Mostowski, Andrzej, 1913-1975
Publicado em: (1964)

Gödel, Escher, Bach : an eternal golden braid
Por: Hofstadter, Douglas R., 1945-
Publicado em: (1979)

Théorie des probabilités
Por: Rioul, Olivier, 19..-
Publicado em: (2008)

The Atiyah-Singer index theorem : an introduction
Por: Shanahan, Patrick, 1931-2013
Publicado em: (1978)

De Condorcet à Arrow via Guilbaud, Nakamura et les "jeux simples"
Por: Monjardet, Bernard
Publicado em: (2006)

The Atiyah-Singer Index Theorem : An Introduction
Por: Shanahan, Patrick, 1931-2013

Gödel, Escher, Bach : les brins d'une guirlande éternelle
Por: Hofstadter, Douglas R., 1945-
Publicado em: (1985)

Pythagore & Thalès
Por: Deledicq, André, 1943-, et autres
Publicado em: (2009)

Combinatoire
Por: Gowers, Timothy
Publicado em: (2025)

L'aventure mathématique : liberté et rigueur psychotiques : Cantor, Goedel et Türing
Por: Lombardi, Gabriel
Publicado em: (2005)

© 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