Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentes sur le programme de Hilbert

• Date de parution : 02/11/2021
• Editeur : Hermann
• EAN : 9791037013194
• Série : (-)
• Support : Papier

• Nombre de pages : 388
• Collection : PHILOSOPHIE HERMANN
• Genre : Philosophie
• Thème : Dictionnaires et ouvrages généraux philosophiques
• Prix littéraire(s) : (-)

Contribution majeure à la philosophie des mathématiques du début du siècle précédent, le programme de Hilbert s'est heurté aux théorèmes d'incomplétude de Godel. Le présent ouvrage est d'abord une introduction à la thèse finitiste de Hilbert et aux limites introduites par les théorèmes de Godel.... Voir plus

Contribution majeure à la philosophie des mathématiques du début du siècle précédent, le programme de Hilbert s'est heurté aux théorèmes d'incomplétude de Godel. Le présent ouvrage est d'abord une introduction à la thèse finitiste de Hilbert et aux limites introduites par les théorèmes de Godel. La discussion qui s'ensuit amène à la question plus large de la nature des limitations associées aux théorèmes « négatifs » : s'agit-il seulement de restrictions techniques quant à l'aptitude des systèmes formels à répondre à ce pour quoi ils ont été créés par les mathématiciens, ou bien ces théorèmes expriment-ils une contrainte beaucoup plus forte sur la capacité humaine à pratiquer les mathématiques, voire, d'une manière plus générale, sur l'exercice de la raison ?