| Titre : |
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité |
| Type de document : |
texte imprimé |
| Auteurs : |
Gilles Dowek, Auteur |
| Editeur : |
Palaiseau : les Éd. de l'École polytechnique |
| Année de publication : |
impr. 2010 |
| ISBN/ISSN/EAN : |
978-2-7302-1569-5 |
| Note générale : |
La 4ème de couv. porte : "Informatique"
|
| Catégories : |
Mathématiques
Mathématiques:Principes généraux des mathématiques
|
| Mots-clés : |
Logique symbolique et mathématique Algorithmes |
| Index. décimale : |
511 Principes généraux des mathématiques |
| Résumé : |
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. |
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2010. ISBN : 978-2-7302-1569-5 La 4ème de couv. porte : "Informatique"
| Catégories : |
Mathématiques
Mathématiques:Principes généraux des mathématiques
|
| Mots-clés : |
Logique symbolique et mathématique Algorithmes |
| Index. décimale : |
511 Principes généraux des mathématiques |
| Résumé : |
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. |
|  |
Affiner la recherche Interroger des sources externes
