- Format
- Broché
- EAN13
- 9782730215695
- ISBN
- 978-2-7302-1569-5
- Éditeur
- École Polytechnique
- Date de publication
- 05/10/2010
- Collection
- DIFFUSION ECOLE
- Nombre de pages
- 194
- Dimensions
- 24 x 17 x 1,3 cm
- Poids
- 360 g
- Langue
- français
- Code dewey
- 511.3
Les démonstrations et les algorithmes
Introduction à la logique et à la calculabilité
De Gilles Dowek
École Polytechnique
Diffusion Ecole
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.
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Gilles Dowek, Jean-Jacques Lévy
-
8,00Yann LeCun, Cédric Villani, Enki Bilal, Gilles Dowek, Laurence Devillers, Jean-Gabriel Ganascia, Jean-Paul Delahaye