| Titre : |
Les démonstrations et les algorithmes. Introduction a la logique et a la calculabilité |
| Type de document : |
texte imprimé |
| Auteurs : |
Dowek Gilles, Auteur |
| Editeur : |
Paris [France] : ellipses |
| Année de publication : |
2010 |
| Importance : |
193P |
| Format : |
24x17 cm |
| ISBN/ISSN/EAN : |
978-2-7302-1569-5 |
| Note générale : |
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. |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Mots-clés : |
Mathématiques - Algorithmes - logique des prédicats - démontrabilité - fonctions calculables - semi-décidabilité |
| Index. décimale : |
511 |
Les démonstrations et les algorithmes. Introduction a la logique et a la calculabilité [texte imprimé] / Dowek Gilles, Auteur . - Paris (France) : ellipses, 2010 . - 193P ; 24x17 cm. ISBN : 978-2-7302-1569-5 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. Langues : Français ( fre) Langues originales : Français ( fre) |  |
Les démonstrations et les algorithmes. Introduction a la logique et a la calculabilité
