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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre numérique |
| Sprache: | Français |
| Veröffentlicht: |
Paris (6, rue de la Sorbonne 75005) :
Hermann
2023.
Paris : Cairn |
| Schriftenreihe: | Hermann philosophie
|
| Online Zugang: | Accès Université Orléans et IFPM |
| Anmerkung: |
CAIRN (ebooks) |
| 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 |
| Zusammenfassung: | 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 ? |
|---|---|
| Beschreibung: | CAIRN (ebooks) |
| ISBN: | 9791037016119 |
| Zugangseinschränkungen: | L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition |