| Titre : | Les théorèmes d'incomplétude de Gödel (2020) |
| Auteurs : | Hervé Lehning, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Tangente (192, 02/2020) |
| Article : | p.32-33 |
| Note générale : | Bibliographie. |
| Langues: | Français |
| Descripteurs : | |
| 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. |
| Nature du document : | documentaire |
| Genre : | / Article de périodique/Article de périodique |
CDI Lycée Jeanne d'Arc
Bienvenue sur le portail PMB du CDI du lycée Jeanne d'Arc de Pontivy
Accueil
Se connecter
Adresse
CDI Lycée Jeanne d'Arc6, rue Théodore Botrel
Pontivy
France