Titre :	Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	Gilles Dowek, Auteur
Editeur :	Palaiseau : les Éd. de l'École polytechnique
Année de publication :	impr. 2010
ISBN/ISSN/EAN :	978-2-7302-1569-5
Note générale :	La 4ème de couv. porte : "Informatique"
Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique  Algorithmes
Index. décimale :	511 Principes généraux des mathématiques
Résumé :	Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. 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, Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2010.
ISBN : 978-2-7302-1569-5
La 4ème de couv. porte : "Informatique"

Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique  Algorithmes
Index. décimale :	511 Principes généraux des mathématiques
Résumé :	Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. 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.