Titre :	Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	Gilles Dowek, Auteur
Editeur :	Palaiseau : Éditions de l'école polytechnique
Année de publication :	2010
Importance :	1 vol. (193 p.)
Présentation :	ill., couv. ill. en coul.
Format :	25 cm
ISBN/ISSN/EAN :	978-2-7302-1569-5
Note générale :	La 4ème de couv. porte : "Informatique"
Langues :	Français (fre)
Mots-clés :	Logique mathématique  Algorithmes
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 : Éditions de l'école polytechnique, 2010 . - 1 vol. (193 p.) : ill., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-7302-1569-5
La 4ème de couv. porte : "Informatique"
Langues : Français (fre)

Mots-clés :

Logique mathématique  Algorithmes

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.