Titre :	Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	Gilles Dowek
Editeur :	Palaiseau : les Éd. de l'École polytechnique
Année de publication :	2011
Importance :	193p
Présentation :	couv. ill. en coul
Format :	24x17 cm
ISBN/ISSN/EAN :	978-2-7302-1569-5
Note générale :	Bibliogr
Langues :	Français (fre)
Mots-clés :	Logique mathématique  Algorithmes
Résumé :	Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.

Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek . - Palaiseau : les Éd. de l'École polytechnique, 2011 . - 193p : couv. ill. en coul ; 24x17 cm.
ISBN : 978-2-7302-1569-5
Bibliogr
Langues : Français (fre)

Mots-clés :

Logique mathématique  Algorithmes

Résumé :

Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.