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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Lara entame un stage en psychiatrie d’addictologie, en vue d’ouvrir ensuite une structure d’accueil pour jeunes en situation d’addiction au numérique...
Un douloureux passage à l'âge adulte, entre sensibilité et horreur...
Blanche vient de perdre son mari, Pierre, son autre elle-même. Un jour, elle rencontre Jules, un vieil homme amoureux des fleurs...
Des idées de lecture pour ce début d'année !
