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