Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

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

Couverture du livre « Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentes sur le programme de Hilbert » de Patrice Pissavin aux éditions Hermann
  • Date de parution :
  • Editeur : Hermann
  • EAN : 9791037013194
  • Série : (-)
  • Support : Papier
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 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 ?

Donner votre avis