TY - BOOK A1 - Dowek Gilles AB - La 4e de couverture indique : "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." AU - Dowek Gilles CY - Palaiseau DA - 2010 ET - Informatique (Palaiseau) ST - Les démonstrations et les algorithmes KW - Logique mathématique KW - Mathématiques Philosophie KW - Informatique Mathématiques KW - Algorithmes LA - français PB - Les Editions de l'Ecole polytechnique SN - 978-2-7302-1569-5 SP - 1 vol. (193 p.) ST - Les démonstrations et les algorithmes TI - Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Y2 - 2024/03/28 ER -