@article{PHSC_1998-1999__3_2_43_0,
author = {Heinzmann, Gerhard},
title = {Poincar\'e on understanding mathematics},
journal = {Philosophia Scientiae},
pages = {43--60},
year = {1998-1999},
publisher = {\'Editions Kim\'e},
volume = {3},
number = {2},
language = {en},
url = {https://www.numdam.org/item/PHSC_1998-1999__3_2_43_0/}
}
Heinzmann, Gerhard. Poincaré on understanding mathematics. Philosophia Scientiae, Actes du colloque France Autriche. Paris et Nancy 29 mai au 1er juin 1995. Interférences et transformations dans la philosophie française et autrichienne (Mach, Poincaré, Duhem, Boltzmann), Tome 3 (1998-1999) no. 2, pp. 43-60. https://www.numdam.org/item/PHSC_1998-1999__3_2_43_0/
1996 Poincaré and Logicism, in: Greffe et al. 1996, 435-446. | Zbl
1992 Poincaré against the Logicicians, Synthese 90, pp. 349-378. | Zbl
1992 (Ed. Proof, Logic and Fonnalization, London/New York: Routledge.
1989 A History of Algebraic and Differential Topology, 1900-1960, Boston/Basel: Birkhäuser. | Zbl
1996 Comment Hilbert et Poincaré rédigeaient les mathématiques, Philosophia Scientiae 1 (4), 19-26.
1992 What rests on what ? The Proof-Theoretic Analysis of Mathematics, 15th Int. Wittgenstein Symposium, Kirchberg/Wechsel 1992, Manuscript.
1996 Logic and Intuition in Poincaré's Philosophy of Mathematics, in : Greffe et al. 1996, 417-434. | Zbl
1969 Nachgelassene Schriften (Hrsg. H. Hermes/F. Kambartel/F. Kaulbach), Hamburg: Meiner.
1985 Poincaré against the Logicists, in: W. Aspray/P. Kitcher (Ed.), History and Philosophy of Modern Mathematics, Minneapolis: Minnesota Press, pp. 61-81.
/ 1997 Henri Poincaré. Trois suppléments sur la découverte des fonctions fuchsiennes, Berlin/Paris: Akademie Verlag/Blanchard.
// 1996 Henri Poincaré. Wissenschaft und Philosophie, Berlin/Paris: Akademie Verlag/Blanchard.
1986 (Ed.) Poincaré, Russell, Zermelo et Peano. Textes de la discussion (1906-1912) sur les fondements des mathématiques: des antinomies à la prédicativité, Paris: Blanchard. | Zbl
1987 Philosophical Pragmatism in Poincaré, in: Initiatives in Logic, Reason and Argument (Ed.. Jan Srzednicki), vol 2, (Nijhoff), Dordrecht/Boston/Lancaster, pp. 70-80.
1988 Poincaré's Philosophical Pragmatism and the Problem of Complete Induction, Fundamenta Scientiae 9, pp. 1-19.
1994 Mathematical Reasoning and Pragmatism in Peirce, in: D. Prawitz/D. Westerstahl (Eds.), Logic and Philosophy of Science in Uppsala, Dordrecht/Boston/London: Kluwer, pp. 297-310.
1995 Zwischen Objektkonstruktion und Strukturanalyse, Göttingen : Vandenhoeck & Ruprecht, 166 p. | Zbl
1998 Poincarés Grundlegung der Geometrie, to appear, Kaiserslautern.
, 1992 Proof and Epistemic Structure, in: Detlefsen 1992, 24-56.
1996 L'histoire sémiotique du concept d'homologie, Thèse de doctorat, Université Paris VII.
1997 Le statut de la géométrie dans quelques textes sur l'homologie de Poincaré aux années 1930, Revue d'histoire des mathématiques 3, 241-293. | Zbl | Numdam
1912 For Logicists, The Monist XXII, 481-483.
1984 The Nature of mathematical knowledge, New York/Oxford: Oxford University Press. | Zbl
1986 What Does a Mathematical Proof Prove ?, in: T. Tymoczko (ed.) New Directions in the Philosophy of Mathematics, Boston/Basel/Stuttgart: Birkhäuser, 153-162.
1986 La logique et le problème de la rigueur (rapport sur la conférence de E. Agazzi), in: Mérites et limites des méthodes logiques en philosophie, éd. J. Vuillemin, Paris: Vrin, 41-46.
1933-58 Collected Papers (Eds. Ch. Hartshorne/P. Weiss), Volume I-VI, Cambridge Mass: Belknap Press. | JFM
DP Dernières pensées, Paris Flammarion, 1913; cited edition: 1963.
SH La science et l'hypothèse, Paris: Flammarion, 1968; translation: Science and Hypothesis, London: The Walter Scott Publ., 1905. | JFM
SM Science et méthode, Paris: Flammarion 1908; translation: Science and Method, London/New York: Thomas neldon & Sons, s. d. | JFM
VS La valeur de la science, Paris: Flammarion, 1970; translation: The Value of Science, New York: Dover 1958.
1890 Notice sur Halphen. Journal de l'Ecole Polytechnique, cah. 6O, pp. 137-161. | JFM
1892 Sur l'Analysis situs, reprinted in Poincaré 1928-1956, t. VI, 189-192.
1895 Analysis Situs, reprinted in Poincaré 1928-1956, t. VI, 193-288.
1898 On the Foundations of Geometry, The Monist IX, 1-43. | JFM
1899 Complément à l'Analysis situs, reprinted in Poincaré 1928-1956, t. VI, 290-337.
1902 Les fondements de la géométrie. Bulletin des sciences mathématiques 26, 249-272; reprinted in Poincaré 1928-1956, t. 11, pp. 92-113.
1906 Les mathématiques et la logique, Revue de métaphysique et de morale 14, pp. 17-34; reprinted in Heinzmann 1986, pp. 11-53 | JFM
1909 La logique de l'infini. RMM 17, pp. 461-482, reprinted in Heinzmann 1986, pp. 235-256. | JFM
1921 Analyse des travaux scientifiques de H. P. faite par lui-même, Acta mathematica 38, pp. 3-135, reprinted in: F. E. Browder (Ed.), The Mathematical Heritage of H. P., II, Proc. Symp. in Pure Math. 39, 1983, pp. 257-357.
1928-1956 Oeuvres, publiées sous les auspices de l'academie des Sciences, tome 1-11, Paris: Gauthier-Villars. | JFM
1996 On Understanding Mathematical Proofs, in : Greffe et al. 1996, 459-466. | Zbl
1980 Geschichte des Mannigfaltigkeitsbegriffes von Riemann bis Poincaré, Boston/Basel/Stuttgart: Birkhäuser. | Zbl
1996 Poincaré and the Limits of Formal Logic, in: Greffe et al. 1996, 467-479. | Zbl
1957 Introduction to Logic, New York: Van Nostrand. | Zbl
1994 Das Homöomorphieproblem, insbesondere der 3-Mannigfaltigkeiten in der Topologie, 1892-1935, Habilitationsschrift, Heidelberg 1994; to appear by Birkhäuser 1999.






