Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert
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ème...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre numérique |
| Langue: | Français |
| Publié: |
Paris :
Hermann
2021.
Paris : Cyberlibris |
| Sujets: | |
| Accès en ligne: | Accès Université Orléans et IFPM |
| Note: |
Couverture. https://static2.cyberlibris.com/books_upload/136pix/9791037016119.jpg Cyberlibris (ScholarVox) Corpus Philosophie |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Gödel et Hilbert, l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert, Patrice Pissavin, 2021, Paris, Hermann, 1 vol. (391 p.), Collection Philosophie, 979-1-0370-1319-4 |
| 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 ? |
|---|---|
| Description: | Couverture. https://static2.cyberlibris.com/books_upload/136pix/9791037016119.jpg Cyberlibris (ScholarVox) Corpus Philosophie |
| Bibliographie: | Bibliographie p. [361]-367. Notes bibliographiques. Index |
| ISBN: | 9791037016119 |
| Accès: | L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris |