| Titre : | Les théorèmes d'incomplétude de Gödel (2020) |
| Auteurs : | Hervé Lehning, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Tangente (Paris) (192, 02/2020) |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Logique mathématique |
| Résumé : | Explication et illustration à partir d'exemples des théorèmes d'incomplétude de Gödel basés sur les assertions indécidables et l'autoréférence. Encadré : un exemple d'une assertion improuvable sans l'axiome du choix. |
| Note de contenu : | Bibliographie. |
| Genre : | article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 2302 | PER | Périodique | CDI | CDI- rdc | Disponible |