A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'théorème de Gödel' 




Les limitations internes des formalismes / Jean LADRIERE (1957)
Titre : 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 Type de document : texte imprimé Auteurs : Jean LADRIERE, Auteur Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1957 Collection : Collection de logique mathématique Sous-collection : Série B. Monographies réunies par M. J. Dopp num. II Importance : XIII-715 p. Langues : Français Mots-clés : théorème de Gödel formalisme logique mathématique fondement des mathématiques Note de contenu : biibliogr. 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 [texte imprimé] / Jean LADRIERE, Auteur . - Louvain (Belgique) : E. Nauwelaerts, 1957 . - XIII-715 p.. - (Collection de logique mathématique. Série B. Monographies réunies par M. J. Dopp; II) .
Langues : Français
Mots-clés : théorème de Gödel formalisme logique mathématique fondement des mathématiques Note de contenu : biibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5515 LAD/02/3615 Livre Recherche Salle Disponible Logique mathématique. 2 / René CORI (DL 2003)
Titre : Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Cours et exercices corrigés Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-347 p. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Anglais Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Cours et exercices corrigés [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Malakoff : Dunod, DL 2003 . - XV-347 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005453-4
Langues : Anglais
Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19529 COR/02/7888-II Livre Recherche Salle Disponible Le théorème de Gödel / Ernest NAGEL (DL 1989)
Titre : Le théorème de Gödel Type de document : texte imprimé Auteurs : Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur ; Kurt GÖDEL, Auteur ; Jean-Baptiste SCHERRER, Traducteur Editeur : Paris : Éd. du Seuil Année de publication : DL 1989 Collection : Sources du savoir Importance : 178 p. Présentation : ill. ISBN/ISSN/EAN : 978-2-02-010652-8 Langues : Français Langues originales : Anglais Allemand Mots-clés : théorème de Gödel Note de contenu : index, bibliogr. Le théorème de Gödel [texte imprimé] / Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur ; Kurt GÖDEL, Auteur ; Jean-Baptiste SCHERRER, Traducteur . - Paris : Éd. du Seuil, DL 1989 . - 178 p. : ill.. - (Sources du savoir) .
ISBN : 978-2-02-010652-8
Langues : Français Langues originales : Anglais Allemand
Mots-clés : théorème de Gödel Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23208 NAG/00A30/13048 Livre Recherche Salle Disponible Godel's proof / Ernest NAGEL (1958)
Titre : Godel's proof Type de document : texte imprimé Auteurs : Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur Editeur : New York : New York University Press Année de publication : 1958 Importance : 118 p. Présentation : ill. Langues : Anglais Mots-clés : théorème de Gödel Godel's proof [texte imprimé] / Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur . - New York : New York University Press, 1958 . - 118 p. : ill.
Langues : Anglais
Mots-clés : théorème de Gödel Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5535 NAG/02/1236 Livre Recherche Salle Disponible Word problems / W. W. BOONE (Cop. 1973)
Titre : Word problems : decision problems and the burniside problem in group theory Type de document : texte imprimé Auteurs : W. W. BOONE, Editeur scientifique ; F. B. CANNONITO, Editeur scientifique ; Roger C. LYNDON, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1973 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 71 Importance : XII-646 p. Note générale : Ce volume est issu de la conférence 'Decision problems in group theory', (CODEP) qui s'est tenue à l'Université de Californie, Irvine, en Septembre 1969. Langues : Anglais Mots-clés : théorie des groupes problème de Burnside théorème de Gödel Note de contenu : références Word problems : decision problems and the burniside problem in group theory [texte imprimé] / W. W. BOONE, Editeur scientifique ; F. B. CANNONITO, Editeur scientifique ; Roger C. LYNDON, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, Cop. 1973 . - XII-646 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 71) .
Ce volume est issu de la conférence 'Decision problems in group theory', (CODEP) qui s'est tenue à l'Université de Californie, Irvine, en Septembre 1969.
Langues : Anglais
Mots-clés : théorie des groupes problème de Burnside théorème de Gödel Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3569 BOO/02/4479 Livre Recherche Salle Disponible