"Osons faire des choses qui sont trop grandes pour nous", nous explique Maud Bénézit, dessinatrice et co-scénariste de l'album
Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d'aide à la lecture des articles fondateurs de Gerhard Gentzen.
La première moitié du livre porte sur la théorie structurelle de la démonstration, et présente entre autres la traduction de Gödel-Gentzen de la logique et de l'arithmétique classiques vers la logique et l'arithmétique intuitionnistes, la déduction naturelle et les théorèmes de normalisation, le calcul des séquents, et en particulier les théorèmes d'élimination des coupures et du séquent médian, avec de nombreuses applications de ces résultats.
La seconde moitié du livre porte sur la théorie ordinale de la démonstration, et plus précisément sur la preuve de cohérence de Gentzen pour l'arithmétique de Peano du premier ordre.
Les méthodes de preuve requises en théorie de la démonstration, en particulier la preuve par induction, sont introduites progressivment tout au long du livre. L'ouvrage fournit des bases solides à quiconque désire comprendre ce domaine central de la logique mathématique et de la philosophie des mathématiques.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
"Osons faire des choses qui sont trop grandes pour nous", nous explique Maud Bénézit, dessinatrice et co-scénariste de l'album
"L’Antiquité appartient à notre imaginaire", explique la romancière primée cette année
Le jury et les internautes récompensent ce roman publié aux éditions l’Arpenteur
Le jury et les internautes récompensent la bande dessinée publiée cette année aux éditions Delcourt