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.