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 (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 changé notre raisonnement. ©Electre 2025
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.
Destiné aux étudiants de licence et de master, ce livre présente ce que tous les philosophes, mathématiciens et informaticiens devraient aujourd'hui savoir sur la logique.
Paru le : 11/10/2010
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Gilles Dowek
Éditeur(s) :
Ecole polytechnique
Collection(s) : Informatique
Série(s) : Non précisé.
ISBN : 978-2-7302-1569-5
EAN13 : 9782730215695
Reliure : Broché
Pages : 193
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.3 cm
Poids: 360 g
Carte fidélité
Mollat Radio
