Titre :	Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	DOWEK,Gilles
Editeur :	Palaiseau : École polytechnique
Année de publication :	2010
Importance :	1 vol. (193 p.)
Format :	24 cm
ISBN/ISSN/EAN :	978-2-7302-1569-5
Langues :	Français (fre) Langues originales : Français (fre)
Catégories :	Mathématique
Mots-clés :	Logique mathématique
Index. décimale :	510-Mathématique
Résumé :	La 4e de couverture indique : "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."
Note de contenu :	Sommaire Les démonstrations Les algorithmes Les démonstrations et les algorithmes
Côte titre :	Fs/6970-6971,Fs/6906-6909

Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité [texte imprimé] / DOWEK,Gilles . - Palaiseau : École polytechnique, 2010 . - 1 vol. (193 p.) ; 24 cm.
ISBN : 978-2-7302-1569-5
Langues : Français (fre) Langues originales : Français (fre)

Catégories :	Mathématique
Mots-clés :	Logique mathématique
Index. décimale :	510-Mathématique
Résumé :	La 4e de couverture indique : "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."
Note de contenu :	Sommaire Les démonstrations Les algorithmes Les démonstrations et les algorithmes
Côte titre :	Fs/6970-6971,Fs/6906-6909