Lehning Hervé.
« Les théorèmes d'incomplétude de Gödel »
in Tangente (Paris), 192 (02/2020), p.32-33.
|
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)
|
|
Article en page(s) :
|
p.32-33
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
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.
|
|
Nature du document :
|
documentaire
|
|
Genre :
|
article de périodique
|
|
Ancien numéro de notice :
|
MF20061215451156
|
