Historians and Philosophers of Logic: Are They Compatible? The Bolzano-Weierstrass Theorem as a Case Study

References

• Aleksandrov, P., and Urysohn, P., 1929. Memoire sur les espaces topologiques compacts, Koninklijke Nederlandse Akademic van Wetenschappen te Amsterdam, Proceedings of the Section of Mathematical Sciences 14 (1929), pp. 1–96.
   Google Scholar
• Ascoli, G., 1878. Nuove Ricerche sulla Serie di Fourier, Atti della R. Academia dei Lincei, Memorie della Classe di Scienze Fisiche, Matematiche e Naturali 2 (1878), pp. 584–651.
   Google Scholar
• Bolzano, B., 1817. Rein analytischer Beweis des Lehrsatzes, daß zwischen je zwey Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege. Prague: Gottlieb Haase; 1817, Pagination follows the translation (Russ 1980).
   Google Scholar
• Borel, E., 1898. Leçons sur la théorie des fonctions. Paris: Gauthier-Villars; 1898.
   Google Scholar
• Boyer, C., 1968. A History of Mathematics. New York: Wiley; 1968.
   Google Scholar
• Cantor, G., 1872. Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen, Mathematische Annalen 5 (1872), pp. 123–132, Pagination follows the reprinting in 1932, 92-102.
   Google Scholar
• Cantor, G., 1884. Über unendliche lineare Punktmannichfaltigkeiten. 6, Mathematische Annalen 23 (1884), pp. 553–588, Pagination follows the reprinting in 1932, 210-244.
   Google Scholar
• Cantor, G., 1932. Zermelo, E., ed. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Berlin: Springer; 1932.
   Google Scholar
• Cauchy, A.-L., 1821. Cours d'analyse de l'Ecole Royale Polytechnique; 1^re partie. Analyse algébrique. Paris: L'Imprimerie Royale; 1821, Page references follow the reprinting in Oeuvres complètes d'Augustin Cauchy, series II, vol. 3, Paris: Gauthier-Villars, 1897.
   Google Scholar
• de Bouve're, K., 1963. "Synonymous Theories". In: Addison, J., et al., eds. The Theory of Models. Amsterdam: North-Holland; 1963. pp. 402–406.
   Google Scholar
• Dini, U., 1878. Fondamenti per la teorica della funzioni di variabili reali. Pisa: Nistri; 1878.
   Google Scholar
• Eves, H., 1990. An Introduction to the History of Mathematics. Philadelphia: Saunders; 1990.
   Google Scholar
• Fréchet, M., 1904. G´enéralisation d'un théorème de Weierstrass, Comptes rendus hebdomadaires des séances de l'Académie des Sciences, Paris 139 (1904), pp. 848–850.
   Google Scholar
• Fréchet, M., 1906. Sur quelques points du Calcul fonctionnel, Rendiconti del Circolo Matematico di Palermo 22 (1906), pp. 1–74.
   Google Scholar
• Goursat, E., 1900. Sur la définition générale des fonctions analytiques, d'après Cauchy, Transactions of the American Mathematical Society 1 (1900), pp. 14–16.
   Google Scholar
• Jordan, C., 1892. Remarque s sur les intégrales définis, Journal de mathématiques pures et appliquées 4 (1892), pp. 69–99.
   Google Scholar
• Hadamard, J., 1954. Sur les questions d'histoire des sciences. La naissance du calcul infinitésimal, Anais da Academia Brasileira de Ciencias 26 (1954), pp. 83–89, Page references follow the reprinting in Oeuvres de Jacques Hadamard, Paris: Editions du Centre National de la Recherche Scientique (1968), 2267-2271.
   Google Scholar
• Heine, E., 1872. Die Elemente der Functionenlehre, Journal für die reine und angewandte Mathematik 74 (1872), pp. 172–188.
   Google Scholar
• Kline, M., 1972. Mathematical Thought from Ancient to Modern Times. New York: Oxford University Press; 1972.
   Google Scholar
• Kuhn, T., 1977. "The Relations between the History and the Philosophy of Science". In: The Essential Tension: Selected Studies in Scientific Tradition and Change. Chicago: University of Chicago; 1977.
   Google Scholar
• Lebesgue, H., 1904. Leçons sur l'intégration et la recherche des fonctions primitives. Paris: Gauthier-Villars; 1904.
   Google Scholar
• May, K. O., 1975. Historiographic Vices II Priority Chasing, Historia Mathematica 2 (1975), pp. 315–317.
   Google Scholar
• Moore, G. H., 1980. Beyond First-Order Logic: The Historical Interplay between Mathematical Logic and Axiomatic Set Theory, History and Philosophy of Logic 1 (1980), pp. 95–137.
   Google Scholar
• Moore, G. H., 1982. Zermelo's Axiom of Choice : Its Origins, Development and Influence. New York: Springer; 1982.
   Google Scholar
• Pincherle, S., 1880. Saggio di una introduzione alla teoria delle funzioni analitiche secondo i principi del prof. C. Weierstrass, Giornale di matematiche 18 (1880), pp. 178–254.
   Google Scholar
• Russ, S. B., 1980. Translation of (Bolzano 1817), Historia Mathematica 7 (1980), pp. 156–185.
   Google Scholar
• Rychlík, K., 1962. Theorie der reellen Zahlen im Bolzanos handschriftlichen Nachlasse. Prague: Czechoslovak Academy of Sciences; 1962.
   Google Scholar
• Schwarz, H. A., 1872. Journal für die reine und angewandte Mathematik 74 (1872), pp. 218–253.
   Google Scholar
• Schoenflies, A., 1899. "Mengenlehre". In: Meyer, W. F., ed. Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen. Leipzig: Teubner; 1899. pp. 184–207, Band I: Algebra und Zahlentheorie, 1. Teil: A. Grundlagen, §5.
   Google Scholar
• Schoenflies, A., 1900. Die Entwickelung der Lehre von den Punktmannigfaltigkeiten, Jahresbericht der Deutschen Mathematiker-Vereinigung 8 (1900), pp. 1–251.
   Google Scholar
• Schoenflies, A., 1908. Die Entwickelung der Lehre von den Punktmannigfaltigkeiten. Leipzig: Teubner; 1908.
   Google Scholar
• Stolz, O., 1881. B. Bolzano's Bedeutung in der Geschichte der Infinitesimalrechnung, Mathematische Annalen 18 (1881), pp. 255–279.
   Google Scholar
• Tait, W. W., 1994. "The Law of Excluded Middle and the Axiom of Choice". In: George, A., ed. Mathematics and Mind. New York: Oxford University Press; 1994. pp. 45–70.
   Google Scholar
• Tannery, J., 1886. Introduction à la théorie des fonctions d'une variable. Paris: Hermann; 1886.
   Google Scholar
• Weierstrass, K., 1868/1986. Einführung in die Theorien der analytischen Functionen. Vol. 2. Schriftenreihe des Mathematischen Instituts der Universität Münster; 1868/1986, lecture notes taken by Wilhem Killing in 1868, published, Heft 38.
   Google Scholar
• Weierstrass, K., 1874. Einleitung in die Theorien der analytischen Functionen. 1874, unpublished lecture notes taken by G. Hettner at Berlin in the summer semester. Found at NSUB Bibliotek at Göttingen.
   Google Scholar
• Weierstrass, K, 1876. Zur Theorie der eindeutigen analytischen Functionen, Abhandlungen der Königl. Akademie der Wissenschaften zu Berlin (1876), pp. 11–60, Pagination follows the reprinting in Mathematische Werke, Berlin: Mayer und Müller 2, 77-124.
   Google Scholar
• Weierstrass, K., 1886/1988. Ausgewählte Kapitel aus der Funktionenlehre. Leipzig: Teubner; 1886/1988, Weierstrass's lecture course of 1886 as edited and published in 1988 by R. Siegmund-Schultze.
   Google Scholar