Monographie
Les Fondements des mathématiques
Intuitionnisme, théorie de la démonstration
Informations principales
|Auteurs de paratextes
- Année : 1955
- Maison d'édition : Gauthier-Villars
- Édition : Première édition française
- Consulter le volume original : Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie - 1934
- Collection : Logique mathématique - Série A
- Numéro dans la collection :
- Pages : 92
- Support : Document imprimé
- Format : 25 cm.
- Langue : Français
- Date de création : 14/11/2012
- Dernière mise à jour : 12/11/2024
Aucune élément de paratexte n'a été enregistré pour ce document
Résumé
Français
Le but de ce livre est d'étudier d'une part la philosophie des mathématiques et l'influence des idées philosophiques sur le développement des mathématiques elles-mêmes ; d'autre part la notion de construction mathématique. L'ouvrage est divisé en quatre sections, et comporte des ajouts par rapport à la première édition allemande de 1934. La première partie est une introduction à l'intuitionnisme, la seconde, un exposé sur les travaux de l'école de Hilbert (Ackermann, Bernays, Herbrand, Von Neumann) et les premiers travaux en métamathématiques. La troisième partie étudie les conceptions du fondement des mathématiques de Gerrit Mannoury (relativiste et pragmatique) et Moritz Pasch (empiriste) ; la quatrième, la question du rapport entre les mathématiques et les sciences de la nature. – Bibliographie, p. 77-87 ; Table des matières, p. 89-91.
F. F.