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. |
|||||||
|