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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Français |
| Publicado: |
Paris (6, rue de la Sorbonne 75005) :
Hermann
2023.
Paris : Cairn |
| Colección: | Hermann philosophie
|
| Acceso en línea: | Accès Université Orléans et IFPM |
| Nota: |
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 |
| LEADER | 02043nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 1161825 | ||
| 008 | 240206s2023 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN275575217 | ||
| 020 | |a 9791037016119 | ||
| 041 | 0 | |a fre | |
| 100 | 1 | |a Pissavin, Patrice, |d 1955- | |
| 245 | 1 | 0 | |a Gödel et Hilbert : |b L'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert |c Patrice Pissavin. |
| 260 | |a Paris (6, rue de la Sorbonne 75005) : |b Hermann. | ||
| 260 | |a Paris : |b Cairn, |c 2023. | ||
| 490 | 0 | |a Hermann philosophie | |
| 500 | |a CAIRN (ebooks) | ||
| 506 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | ||
| 520 | |a 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 ? | ||
| 776 | 0 | |0 258579994 |t Gödel et Hilbert |o l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert |f Patrice Pissavin |d 2021 |c Paris |n Hermann |p 1 vol. (391 p.) |s Collection Philosophie |z 979-1-0370-1319-4 | |
| 856 | |5 452349901:813395992 |u https://ezproxy.univ-orleans.fr/login?qurl=https://www.cairn.info/godel-et-hilbert--9791037013194.htm |z Accès Université Orléans et IFPM | ||
| 997 | |0 1161825 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/CAIRN (ebooks)/ | ||