skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Versions multiples

The monadic second order theory of all countable ordinals

Büchi, J. Richard (1924-1984) ; Siefkes, Dirk ; Müller, Gert Heinz (1923-....)

Plusieurs versions trouvées
Il y a 2 versions

2
Material Type:
Versions multiples

Le théorème de Gödel

Nagel, Ernest (1901-1985) ; Newman, James Roy (1907-1966) ; Gödel, Kurt (1906-1978) ; Scherrer, Jean-Baptiste ; Marchaisse, Thierry (1955-....)

Plusieurs versions trouvées
Il y a 3 versions

3
Material Type:
Versions multiples

Forever undecided : a puzzle guide to Gödel

Smullyan, Raymond Merrill (1919-....)

Plusieurs versions trouvées
Il y a 2 versions

4
Material Type:
Versions multiples

Extensional Gödel functional interpretation : a consistency proof of classical analysis

Luckhardt, Horst

Plusieurs versions trouvées
Il y a 4 versions

5
Théorie physique et incomplétude au sens de Gödel
Material Type:
Livre
Ajouter à Mon espace

Théorie physique et incomplétude au sens de Gödel

Ransford, Emmanuel. ; Cartier, Pierre (1932-....) ; Caveing, Maurice (1923-....) ; Loi, Maurice (1924-2000) ; Thom, René (1923-2002) ; École normale supérieure, Paris 1985-....

Villetaneuse : IREM Paris-Nord, 1990

Voir les exemplaires

6
Les théorèmes d'incomplétude de Gödel
Material Type:
Livre
Ajouter à Mon espace

Les théorèmes d'incomplétude de Gödel

Smullyan, Raymond Merrill (1919-....) ; Margenstern, Maurice (19..-....)

Paris Milan Barcelone etc. : Masson, 1993

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

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

Ladrière, Jean (1921-2007.) ; Torchin, Itzhak, provenance (1918-2007)

Louvain Paris : E. Nauwelaerts Gauthier-Villars, 1957

Voir les exemplaires

8
Démonstration et signification en mathématiques
Material Type:
Livre
Ajouter à Mon espace

Démonstration et signification en mathématiques

Wallet, Guy. ; Cartier, Pierre (1932-....) ; Caveing, Maurice (1923-....) ; Loi, Maurice (1924-2000) ; Thom, René (1923-2002) ; École normale supérieure, Paris 1985-....

Villetaneuse : IREM Paris-Nord, 1993

Voir les exemplaires

9
Les théorèmes d'incomplétude de Gödel
Material Type:
Livre
Ajouter à Mon espace

Les théorèmes d'incomplétude de Gödel

Smullyan, Raymond Merrill (1919-....) ; Margenstern, Maurice (19..-....)

Paris : Dunod, 2000

Disponible(Obtenir)

10
Gödel's theorem : an incomplete guide to its use and abuse
Material Type:
Livre
Ajouter à Mon espace

Gödel's theorem : an incomplete guide to its use and abuse

Franzén, Torkel.

Wellesley Mass. : A. K. Peters, 2005

Voir les exemplaires(Obtenir)

11
Kurt Gödel and the foundations of mathematics : horizons of truth
Material Type:
Livre
Ajouter à Mon espace

Kurt Gödel and the foundations of mathematics : horizons of truth

Baaz, Matthias ; Papadimitriou, Christos H. (1949-....) ; Putnam, Hilary Whitehall (1926-2016)

Cambridge New YorkNY Melbourne : Cambridge university press, 2011

Voir les exemplaires(Obtenir)

12
Material Type:
Versions multiples

Gödel, une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes gödeliens

Delessert, André

Plusieurs versions trouvées
Il y a 2 versions

13
Material Type:
Versions multiples

Impossibility : the limits of science and the science of limits

Barrow, John D. (1952-....) ; Torchin, Itzhak, provenance (1918-2007)

Plusieurs versions trouvées
Il y a 3 versions

14
Je suis une boucle étrange
Material Type:
Livre
Ajouter à Mon espace

Je suis une boucle étrange

Hofstadter, Douglas R. (1945-....) ; Bambaggi, Julien ; Arman, Bella

Paris : Dunod, 2008

Voir les exemplaires(Obtenir)

15
The monadic second order theory of all countable ordinals
Material Type:
Livre
Ajouter à Mon espace

The monadic second order theory of all countable ordinals

Büchi, J. Richard (1924-1984) ; Siefkes, Dirk

Berlin New York : Springer, 1973

Disponible(Obtenir)

16
The P=NP question and Gödel's lost letter
Material Type:
Livre
Ajouter à Mon espace

The P=NP question and Gödel's lost letter

Lipton, Richard J.

New York. Dordrecht Heidelberg etc. : Springer, 2010

Voir les exemplaires(Obtenir)

17
Hasard et complexité en mathématiques
Material Type:
Livre
Ajouter à Mon espace

Hasard et complexité en mathématiques

Chaitin, Gregory J. ; Decréau, Laurence (1962-....) ; Mansuy, Roger (1977-....) ; Forget, Hugo

Paris : Flammarion, 2009

Voir les exemplaires(Obtenir)

18
Fundamentals of mathematical logic
Material Type:
Livre
Ajouter à Mon espace

Fundamentals of mathematical logic

Hinman, Peter G.

Wellesley Mass. : A.K. Peters, 2005

Voir les exemplaires(Obtenir)

19
Komplexität von Entscheidungsproblemen : ein seminar
Material Type:
Acte de conférence
Ajouter à Mon espace

Komplexität von Entscheidungsproblemen : ein seminar

Seminar Zurich, CH., 1973 ; Specker, Ernst (1920-2011) ; Strassen, Volker (1936-....)

Berlin New York : Springer-Verlag, 1976

Voir les exemplaires(Obtenir)

20
Logique mathématique : cours et exercices. II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Material Type:
Livre
Ajouter à Mon espace

Logique mathématique : cours et exercices. II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Cori, René ; Lascar, Daniel (1942-....) ; Krivine, Jean-Louis

Paris : Masson, 1993

Disponible(Obtenir)

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (3)
  2. Articles  (1)
  3. Autres  (3)
  4. Livres  (34)
  5. Thèses  (2)
  6. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1979  (8)
  2. 1979 à 1989  (8)
  3. 1990 à 1998  (12)
  4. 1999 à 2007  (11)
  5. Après 2007  (7)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré