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

> Fiche œuvre du catalogue https://superlivre.fr/livre/godel-et-hilbert-cb46930730b (données du dépôt légal BnF).

- **Auteur** : [Patrice Pissavin](https://superlivre.fr/auteur/patrice-pissavin-cb124885003)
- **Première parution** : 2021
- **Langue** : français
- **Genres** : [Critique et interprétation](https://superlivre.fr/genre/critique-et-interpretation-cb12042895g), [Décidabilité (logique mathématique)](https://superlivre.fr/genre/decidabilite-logique-mathematique-cb119818468), [Théorème de Gödel](https://superlivre.fr/genre/theoreme-de-godel-cb119412145)
- **Éditions recensées** : 1 (2021–2021)

## 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 ?

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2021 | [Hermann](https://superlivre.fr/editeur/hermann) | Paris | 391 | 979-10-370-1319-4 |