Book,
Les démonstrations et les algorithmes introduction à la logique et à la calculabilité
Éd. de l'École polytechnique, (2010)
Abstract
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.
Tags
- 03-01-mathematical-logic-and-foundations-instructional-exposition
- 03d75-abstract-and-axiomatic-computability-and-recursion-theory,
- 03f03-proof-theory-general,
- 68w01-algorithms-general
