Philosophie des mathématiques
La 4e de couverture indique : "Le XXe siècle a connu un essor sans précédent de l'activité philosophique vouée aux mathématiques. Elle a trouvé en 1925 sa forme canonique dans le débat de trois écoles : le Logicisme de Frege amplifié par Whitehead et Russell, le Formalisme de Hilbert et l&...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Français |
| Publicat: |
Paris :
Ellipses
DL 2018.
|
| Col·lecció: | Ellipses poche
|
| Matèries: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02027nam a22002297a 4500 | ||
|---|---|---|---|
| 001 | 679656 | ||
| 008 | 180711s2018 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN228872243 | ||
| 020 | |a 9782340025141 |z 9782340025141 (br.) : |c [12 EUR] | ||
| 024 | |a 9782340025141 | ||
| 041 | 0 | |a fre | |
| 082 | |a 510.1 | ||
| 100 | 1 | |a Dumoncel, Jean-Claude. | |
| 245 | 1 | 0 | |a Philosophie des mathématiques |c Jean-Claude Dumoncel,... |
| 260 | |a Paris : |b Ellipses, |c DL 2018. | ||
| 300 | |a 1 volume (111 pages) : |b illustrations, couverture illustrée en couleur ; |c 18 cm. | ||
| 490 | 1 | |a Ellipses poche | |
| 504 | |a Bibliographie p. [109]-111 | ||
| 520 | |a La 4e de couverture indique : "Le XXe siècle a connu un essor sans précédent de l'activité philosophique vouée aux mathématiques. Elle a trouvé en 1925 sa forme canonique dans le débat de trois écoles : le Logicisme de Frege amplifié par Whitehead et Russell, le Formalisme de Hilbert et l'Intuitionnisme de Brouwer. Si la pensée mathématique s'est divisée en trois courants principaux, c'est d'abord parce qu'elle a subi le Choc de Cantor, causé par sa découverte du Transfini que suffit à peine à contenir sa Théorie des Ensembles. Ce sont les Paradoxes du Transfini, bientôt aggravés par les Antinomies des Ensembles, qui ont provoqué la Crise des Fondements logicomathématiques. Face à celle-ci, les trois écoles vont se trouver dans trois postures distinctes. L'Intuitionnisme va se vouer à la création de ses propres Mathématiques. Le Formalisme va conduire à la Métamathématique. Le Logicisme, après les Principia Mathematica, va être relayé par l'axiomatisation de la théorie des ensembles chez Zermelo-Fraenkel et Von Neumann et Bernays. S'y ajoute le quasi-intuitionnisme de Borel qui reçoit ici un exposé à sa mesure." | ||
| 650 | |a Mathématiques |x Philosophie | ||
| 650 | |a Mathématiques |x Fondements | ||
| 997 | |0 679656 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 510.1 DUM | ||