Documents disponibles écrits par cet auteur

Les théorèmes d'incomplétude de Gödel / RaymondM. Smullyan

Public ISBD Titre : Les théorèmes d'incomplétude de Gödel Type de document : texte imprimé Auteurs : RaymondM. Smullyan, Auteur Mention d'édition : Nouv. présentation Editeur : Paris : Dunod Année de publication : 2000 Collection : Masson sciences, ISSN 1622-7093 Importance : XI-134 p. Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-10-005287-5 Prix : 28.5 EUR Note générale : Bibliogr. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Gödel, théorème de Index. décimale : 515 Analyse Résumé : Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'une recherche de cinquante années et leurs conséquences sur les développements de la logique modale. Les théorèmes d'incomplétude de Gödel [texte imprimé] / RaymondM. Smullyan, Auteur  . -  Nouv. présentation . - Paris : Dunod, 2000 . - XI-134 p. ; 24 x 17 cm. - (Masson sciences, ISSN 1622-7093) . ISBN : 978-2-10-005287-5 : 28.5 EUR Bibliogr. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Gödel, théorème de Index. décimale : 515 Analyse Résumé : Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'une recherche de cinquante années et leurs conséquences sur les développements de la logique modale.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1956/1	04-01-177	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Exclu du prêt