GEOTRUST SSL CERTIFICATE
| Titre : | Les théorèmes d'incomplétude de Gödel |
| Auteurs : | RaymondM. Smullyan, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | Nouv. présentation |
| Editeur : | Paris : Dunod, 2000 |
| Collection : | Masson sciences, ISSN 1622-7093 |
| ISBN/ISSN/EAN : | 978-2-10-005287-5 |
| Format : | XI-134 p. / 24 x 17 cm |
| Note générale : |
Bibliogr. Index |
| Langues: | Français |
| Langues originales: | Anglais |
| Index. décimale : | 515 (Analyse) |
| Mots-clés: | Gödel, théorème de |
| 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é |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
