Catalogue en ligne CDI Saint Charles La Providence

Les théorèmes d'incomplétude de Gödel / Hervé Lehning / Archimède (2020) in Tangente (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

Cote	Section	Localisation	Code-barres	Disponibilité
ARCHIVES	documentaire	CDI	022839	Disponible