Les démons de Gödel. Logique et folie.
Document type :
Autre communication scientifique (congrès sans actes - poster - séminaire...)
Title :
Les démons de Gödel. Logique et folie.
Author(s) :
Publisher :
Seuil
Publication date :
2007
Keyword(s) :
Logique
Gödel
Turing
post-platonisme
incomplétude
Gödel
Turing
post-platonisme
incomplétude
English keyword(s) :
Logic
Post
Platonism
incompleteness.
Post
Platonism
incompleteness.
HAL domain(s) :
Sciences de l'Homme et Société/Philosophie
French abstract :
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 ...
Show more >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.<br /> 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.Show less >
Show more >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.<br /> 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.Show less >
English abstract : [en]
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” ...
Show more >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.<br /> 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.Show less >
Show more >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.<br /> 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.Show less >
Language :
Français
Audience :
Non spécifiée
Popular science :
Non
Collections :
Source :