About: Philosophie des mathématiques   Goto Sponge  NotDistinct  Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
type
Author
dc:subject
  • Mathématiques -- Philosophie
  • Mathématiques -- Fondements
preferred label
  • Philosophie des mathématiques
Language
Subject
dc:title
  • Philosophie des mathématiques
note
  • 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.\"
dc:type
  • Text
http://iflastandar...bd/elements/P1001
rdaw:P10219
  • 2002
has content type
is primary topic of
is rdam:P30135 of
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software