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??
Editeur : Hermann
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