Résumé

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 Gödel. 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 Gödel. 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??

Caractéristiques

Editeur : Hermann

Auteur(s) : Patrice Pissavin

Publication : 30 octobre 2021

Intérieur : Noir & blanc

Support(s) : Contenu téléchargeable [PDF]

Contenu(s) : PDF

Protection(s) : DRM ACS4 (PDF)

Taille(s) : 5,4 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3126

EAN13 Contenu téléchargeable [PDF] : 9791037016119

EAN13 (papier) : 9791037013194

--:-- / --:--