Les démons de Gödel. Logique et folie.
Résumé
This work analyses Gödel's unpublished papers. Gödel develops in papers that are still unpublished what he calls a “mysterious” philosophy. The aim of this book is to study the relationship between this “mysterious” philosophy and Gödel's logical work. On one side, Gödel intends to justify his philosophy by an extrapolation of the science of his time (mathematics and physic). On the other side, his belief in his “mysterious” philosophy influence the direction of his logical work.
After a first chapter, which is merely biographic, the author studies different aspects of Gödel's thought: mathematical realism; the consequences of the incompleteness theorem; the problem of the time. He also offers a digression on the work of Emil Post based on unpublished notebooks dating from 1938 to Post's death in 1954.
After a first chapter, which is merely biographic, the author studies different aspects of Gödel's thought: mathematical realism; the consequences of the incompleteness theorem; the problem of the time. He also offers a digression on the work of Emil Post based on unpublished notebooks dating from 1938 to Post's death in 1954.
Cet ouvrage analyse les papiers inédits conservés à la bibliothèque de l'université de Princeton. Le logicien y développe ce qu'il appelle lui-même une philosophie “mystérieuse”. Le but de l'ouvrage est d'étudier le lien entre cette philosophie “mystérieuse” et le travail logique de Gödel. D'un côté, Gödel entend tirer sa philosophie d'une “extrapolation” des sciences de son temps et, de l'autre, on voit que les thèses de cette philosophie mystérieuse, la croyance en une vie éternelle par exemple, déterminent certains aspects du travail de Gödel.
Après un premier chapitre, biographique, qui pose le problème de la “folie” de Gödel, l'auteur étudie différents aspects de la pensée du logicien-philosophe : le réalisme des objets mathématiques, les conséquences du théorème d'incomplétude et la question de la différence esprit-machine, le problème du temps et de la possibilité d'un voyage dans le temps. L'auteur propose également une digression autour des travaux d'Emil Post sur la calculabilité à partir des cahiers inédits des années 1938-1954.
Après un premier chapitre, biographique, qui pose le problème de la “folie” de Gödel, l'auteur étudie différents aspects de la pensée du logicien-philosophe : le réalisme des objets mathématiques, les conséquences du théorème d'incomplétude et la question de la différence esprit-machine, le problème du temps et de la possibilité d'un voyage dans le temps. L'auteur propose également une digression autour des travaux d'Emil Post sur la calculabilité à partir des cahiers inédits des années 1938-1954.