Méthode axiomatique et formalisme : Essai sur le problème du fondement des mathématiques / CAVAILLES Jean ; Introd. de Jean-Toussaint Desanti ; Préf. de Henri Cartan [ Livre]
Langue : français.Publication : Paris : Hermann, 1981Description : 196 p.ISBN : 2-7056-5941-2.Résumé : Le problème posé par la crise de la théorie des ensembles. - Axiomatisations et formalisations au dix-neuvième siècle. - La méthode axiomatique. - Définition d'un système formel en général. - Le formalisme hilbertien et l'analyse. - les démonstrations de non-contradiction.Bibliographie : Bibliogr.p.184-191; Index p.192-194.Sujet - Nom de personne: Ackermann -- Méthode de valuation | Borel -- Empirisme | Brouwer -- Intuitionnisme | Dedekind | Desargues -- Théorème de | Descartes -- Etendue | Frege | Gentzen | Godel -- Théorème de | Grassmann | Hankel | Herbrand -- Théorème de | Hilbert | Kant -- Schématisme -- Intuition spatiale | Lebesgue -- Nommable | Leibniz -- Panlogisme | Loewenheim Skolem -- Théorème de | Pasch -- Géométrie projective | Russell | Von Neumann Sujet - Nom commun: Axiomatisation | Axiome | Calcul Desarguien | Continu | FORMALISME | Méthode axiomatique | Valuation -- Méthode de Sujet - Forme: EPISTEMOLOGIE Sujet: EPISTEMOLOGIE | HISTOIRE DES MATHEMATIQUES Type de document: LivreSite actuel | Localisation | Cote | Statut | Notes | Date de retour prévue | Code à barres |
---|---|---|---|---|---|---|
Bibliothèque Centre d'Etudes de Carthage | Magasin | IIH/Ma/CAV | Exclu du prêt | 19 854 | 5067 |
Bibliogr.p.184-191
Index p.192-194
Le problème posé par la crise de la théorie des ensembles. - Axiomatisations et formalisations au dix-neuvième siècle. - La méthode axiomatique. - Définition d'un système formel en général. - Le formalisme hilbertien et l'analyse. - les démonstrations de non-contradiction
Don IFC
Il n'y a pas de commentaire pour ce titre.