Les mathématiques et la logique. (French) JFM 36.0081.05

Poincaré, H.

Rev. de métaphys. et de morale 13, 815-835 (1905).

Erster Teil einer den neueren Arbeiten über die Philosophie der Mathematik gewidmeten Studie. Nach einigen Autoren, vornehmlich Peano, Russell und Couturat, kann man fragen, ob es wahr ist, daßman, wenn die Prinzipien der Logik einmal zugegeben sind, alle mathematischen Wahrheiten zwar nicht entdecken, wohl aber beweisen kann, ohne abermals auf die Anschauung zurückzugreifen. Das ist die vom Verf. untersuchte Frage, die er negativ beantwortet, indem er folgeweise in diesem ersten Abschnitte die Rolle der Definitionen und der Axiome, die symbolische Sprache Peanos, die Logik Russells zergliedert, sowie die Kardinal- und die Ordinalzahl, die Grundlage der eigentlichen Arithmetik.

Reviewer: Fehr, Prof. (Genf) (Lampe, Prof. (Berlin))

JFM Section:

Erster Abschnitt. Geschichte, Philosophie und Pädagogik. Kapitel 2. Philosophie, Mengenlehre und Pädagogik. A. Philosophie.