[article] 
inTangente (Paris) > 192 (02/2020)

Titre :	Les théorèmes d'incomplétude de Gödel
Type de document :	texte imprimé
Auteurs :	Hervé Lehning, Auteur
Editeur :	Archimède, 2020
Article :	p.32-33
Note générale :	Bibliographie.
Langues :	Français (fre)
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.
Nature du document :	documentaire
Genre :	/ Article de périodique/Article de périodique

[article] Les théorèmes d'incomplétude de Gödel [texte imprimé] / Hervé Lehning, Auteur . - Archimède, 2020 . - p.32-33.
Bibliographie.
Langues : Français (fre)
in Tangente (Paris) > 192 (02/2020)

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.
Nature du document :	documentaire
Genre :	/ Article de périodique/Article de périodique