Les démonstrations et les algorithmes
Introduction à la logique et à la calculabilité
Auteur : Gilles Dowek 
Edition : 2010
Pages : 200
Format : 17 x 24 cm
ISBN : 978-2-7302-1569-5
Tarif : 18.30 €
     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.
Consulter la Table des Matieres Table des matieres
Consulter l'extrait de l'ouvrage Extrait de l'ouvrage
Ajouter a Ma Commande Commander