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...
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Livre numérique |
| Språk: | Français |
| Publicerad: |
Paris :
Hermann
2021.
Paris : Cyberlibris |
| Ämnen: | |
| Länkar: | Accès Université Orléans et IFPM |
| Anmärkning: |
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 |
| LEADER | 02310nam a22002657a 4500 | ||
|---|---|---|---|
| 001 | 1278227 | ||
| 008 | 241211s2021 xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN28206902X | ||
| 020 | |a 9791037016119 | ||
| 041 | 0 | |a fre |f 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 : |b Hermann. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2021. | ||
| 500 | |a Couverture. https://static2.cyberlibris.com/books_upload/136pix/9791037016119.jpg | ||
| 500 | |a Cyberlibris (ScholarVox) Corpus Philosophie | ||
| 504 | |a Bibliographie p. [361]-367. Notes bibliographiques. Index | ||
| 506 | |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris | ||
| 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 ? | ||
| 600 | |a Hilbert, David, |d 1862-1943 | ||
| 650 | |a Mathématiques |x Philosophie |y 20e siècle | ||
| 650 | |a Gödel, Théorème de | ||
| 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 | 4 | |5 452349901:844697826 |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88951939 |z Accès Université Orléans et IFPM | |
| 997 | |0 1278227 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||