Philosophie des mathématiques

Par : Jean-Claude Dumoncel

Formats :

  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay indisponible
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages120
  • PrésentationBroché
  • FormatPoche
  • Poids0.078 kg
  • Dimensions10,8 cm × 17,8 cm × 0,9 cm
  • ISBN978-2-340-02514-1
  • EAN9782340025141
  • Date de parution12/06/2018
  • CollectionEllipses poche
  • ÉditeurEllipses

Résumé

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.
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.