Abstract
In his writings about hypergeometric functions Gauss succeeded in moving beyond the restricted domain of eighteenth-century functions by changing several basic notions of analysis. He rejected formal methodology and the traditional notions of functions, complex numbers, infinite numbers, integration, and the sum of a series. Indeed, he thought that analysis derived from a few, intuitively given notions by means of other well-defined concepts which were reducible to intuitive ones. Gauss considered functions to be relations between continuous variable quantities while he regarded integration and summation as appropriate operations with limits. He also regarded infinite and infinitesimal numbers as a façon de parler and used inequalities in order to prove the existence of certain limits. He took complex numbers to have the same legitimacy as real quantities. However, Gauss’s continuum was linked to a revised form of the eighteenth-century notion of continuous quantity: it was not reducible to a set of numbers but was immediately given.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alembert, J.B. d’ [1768] Réflexions sur les suites et sur les racines imaginaires in Opuscles mathématiques, Paris: David Briasson, Jombert, t.V, 1768, 171–215.
Alembert, J.B. d’ [1773] Mélange de littérature, d’histoire, et de philosophie, 2nd édition, Amsterdam: Z.Chatelain et fils, 1773, (5 vols.).
Belhoste, B., Augustin-Louis Cauchy. A Biography. New York, Berlin : Springer-Verlag, 1991.
Bos, H. J.M. [1974] Differentials, Higher-Order Differentials and the Derivatives in the Leibnizian Calculus, Archive for History of Exact Sciences, 14 (1974) 1–90.
Breger, H. [1992a] A restoration that failed: Paul Finsler’s theory of sets. In Gillies [1992, 249–264].
Breger, H. [1992b] Les Continu chez Leibniz. In Salanskis, J.-M. and Sinaceur, H. (Eds.), Le Labyrinthe du Continu, Paris: Springer-Verlag France, 1992, 75–84.
Bussotti, P. [2000] Aritmetica e aritmetizzazione. La via indicata da Gauss e Kronecker, Epistemologia 23 (2000): 23–50.
Dedekind, R. [1872] Stetigkeit und irrationale Zahlen, Braunschweig:Vieweg 1872.
Dutka, J. [1984] The Early History of the Hypergeometric Function, Archive for History of Exact Sciences 31 (1984–85): 15–34.
Euler, L. [1730] De progressionibus trascendentibus seu quarum termini generales algebraice dari nequeunt, Commentarii academiae scientiarum imperialis Petropolitanae 5 (1730–31): 36–57. In [OO, 14: 1–24].
Euler, L. [1734] De summis serierum reciprocarum, Commentarii academiae scientiarum Petropolitanae 7 (1734–35): 123–134. In [OO, 14: 73–86].
Euler, L. [1748] Introductio in analysin infinitorum Lausannae: M.M.Bousquet et Soc., 1748. In [OO, vols. 8–9].
Euler, L. [1749] Sur la controverse entre Mrs. Leibniz et Bernoulli sur les logarithmes des nombres négatifs et imaginaires, Mémoires des l’ Académie des Sciences de Berlin, 5 (1749):139–179.
Euler, L. [1750] De serierum determinatione seu nova methodus inveniendi terminos generales serierum, Novi Commentarii academiae scientiarum imperialis Petropolitanae, 3 (1750–51): 8–10 and 36–85. In [OO, 14: 463–515].
Euler, L. [1754a] De seriebus divergentibus, Novi Commentarii academiae scientiarum imperialis Petropolitanae 5 (1754–55): 19–23 and 205–237. In [OO,14: 583–617].
Euler, L. [1754b] Subsidium calculi sinuum, Novi Commentarii academiae scientiarum Petropolitanae 5 (1754– 55), 164–204, Summarium 17–19; in Opera omnia, (1), 14: 542–582.
Euler, L. [1755] Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum, Petropoli: Impensis Academiae Imperialis Scientiarum, 1755. In [OO, vol. 10].
Euler, L. [1768] De curva hypergeometrica hac aequatione expressa \({y=1\cdot 2\cdot 3\cdot \ldots\cdot x}\) , Novi Commentarii academiae scientiarum imperialis Petropolitanae 13 (1768): 3–66. In [OO], 28:41–98.
Euler, L. [1768–1770] Institutiones calculi integralis, Petropoli: Impensis Academiae Imperialis Scientiarum, 1768–1770. In [OO, vols. 11–13].
Euler, L. [1770] Vollständige Anleitung zur Algebra [OO] (1), 1.
Euler, L. [1771] Evolutio formulae integralis \({{\int {x^{f-1}{\rm dx}(lx)^{\frac{m}{n}}} }}\) integratione a valore x = 0 ad x = 1 extensa, Novi Commentarii academiae scientiarum imperialis Petropolitanae 16 (1771): 91–139. In [OO, 17: 316–357].
Euler, L. [1774] Nova methodus quantitates integrales determinandi, Novi Commentarii academiae scientiarum imperialis Petropolitanae 19 (1774): 66–102. In [OO, 17: 421–457].
Euler, L. [1780] De plurimis quantitatibus transcendentibus quas nullo modo per formulas integrales expri mere licet, Acta academiae scientiarum petropolitanae, 4 II (1780): 31–37. In [OO, 15: 522–527].
Euler, L. [1787] Comparatio valorum formulae integralis \({\int {\frac{x^{p-1}{\rm d}x}{\sqrt {(1-x^n)^{n-q}}}} }\) a termino x = 0 usque ad x = 1 extensae; Nova acta academiae scientiarum Pretopolitanae 5 (1787), 86–117. In [OO, 18: 392–423].
Euler, L. [1789] De termino generali serierum hypergeometricarum, Nova acta academiae scientiarum Pretopolitanae 7 (1789): 42–63. In [OO,161: 139–162].
Euler, L. [1794] Specimen transformationis singularis serierum Nova acta academiae scientiarum Pretopolitanae 12 (1794): 58–70. In [OO, 162: 41–55].
Euler, L. [1797] Delucidationes in capita postrema calculi mei differentialis de functionibus inexplicabilibus, in [OO, 161: 1–33].
Euler, L. [1819] De unciis potestatum binomii earumque interpolatione; Mémoires de l’académie des Sciences de St.Pétersboug 9 (1819/20): 57–76. In [OO, 162:241–260].
Euler, L. [OO] Leonhardi Euleri Opera omnia. Series I: Opera mathematica, Leipzig, Teubner, Zurich, Füssli, Bâle. Birkhäuser, 1911-.... (72 vols. published).
Ewald, W.B. (ed.) From Kant to Hilbert. A source book in the Foundation of Mathematics, Oxford Science Publications, Oxford: Claredon Press, 1996.
Ferraro, G. [1998] Some Aspects of Euler’s Theory of Series. Inexplicable Functions and the Euler-Maclaurin Summation Formula, Historia mathematica, 25 (1998): 290–317.
Ferraro, G. [2000a] The Value of an Infinite Sum. Some Observations on the Eulerian Theory of Series, Sciences et Techniques en Perspective, 2e série, 4 (2000): 73–113.
Ferraro, G. [2000b] Functions, Functional Relations and the Laws of Continuity in Euler, Historia mathematica, 27 (2000): 107–132.
Ferraro, G. [2001] Analytical symbols and geometrical figures. Eighteenth Century Analysis as Nonfigural Geometry, Studies In History and Philosophy of Science Part A, 32 (2001): 535–555.
Ferraro, G. [2002] Convergence and formal manipulation of series in the first decades of the eighteenth century, Annals of Science, 59:2 (2002) 179–199.
Ferraro, G. [2004] Differentials and differential coefficients in the Eulerian foundations of the calculus, Historia Mathematica, 31 (2004) 34–61.
Ferraro, G. and Panza, M. [2003] Developing into Series and Returning from Series. A Note on the Foundation 18th Century Analysis, Historia mathematica, 30 (2003) 17–46.
Fraser, C. G. [1987] Joseph Louis Lagrange’s Algebraic Vision of the Calculus, Historia Mathematica, 14 (1987), 38–53.
Fraser, C. G. [1989] The Calculus as Algebraic Analysis: Some Observations on Mathematical Analysis in the 18th Century, Archive for history of exact sciences, 39 (1989): 317–335.
Fuss, P.H. [1843] Correspondance mathématique et physique de quelque célébres géométres du XVIIIéme siécle, St.Pétersbourg: Académie impériale des sciences, 1843.
Gauss, C.F. [1799] Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel scundi gradus resolvi posse, In [WW, 3: 1-].
Gauss, C.F. [1801] Disquisitiones Arithmeticae, Lipsiae: Gerh. Fleischer, 1801. In [WW, 1: 1–475].
Gauss, C.F. [1807] Recherches arithmétiques, French translation of [1807] by A.-C.-M. Poullet-Delisle, Paris: Courcier, 1807.
Gauss, C.F. [1812a] Anzeige der Disquisitiones generales circa seriem infinitam Göttingische gelehrte Anzeigen, 10 February 1812. In [WW, 3: 197–202].
Gauss, C.F. [1812b] Disquisitiones generales circa seriem infinitam \({1+\frac{\alpha \beta}{1\cdot \gamma}x+\frac{\alpha (\alpha +1)\beta (\beta +1)}{1\cdot 2\cdot \gamma (\gamma +1)}xx +\frac{\alpha (\alpha +1)(\alpha +2)\beta (\beta +1)(\beta +2)}{1\cdot 2\cdot 3\cdot \gamma (\gamma +1)(\gamma+2)}x^3}\) +etc. Pars Prior, Commentationes societatis regiae scientiarum Gottingensis recentiores, 2 (1813). In [WW, 3:125–162].
Gauss, C.F. [1816] Review of J.C. Schwab, Commentatio in primum elementorum Euclidis librum, qua veritatem geometriae principiis ontologicis niti evincitur, omnesque prepositions, axiomatum geometricorum loco habitae, demonstrantur (Stuttgart, 1814) and of Matthias Metternich, Vollständige Theorie der Parallel-Linien (Mainz, 1815). Göttingische gelehrte Anzeigen, 20 April 1816. In [WW, 8: 170–174].
Gauss, C.F. [1831] Anzeige der Theoria residuorum biquadraticorum. Commentatio secunda, Göttingische gelehrte Anzeigen, 23 April 1831. In [WW, 2: 169–178].
Gauss, C.F. [1832] Theoria residuorum biquadraticorum. Commentatio secunda, Commentationes societatis regiae scientiarum Gottingensis recentiores, 7 (1832). In [WW, 2: 93–148].
Gauss, C.F. [WO] De Integratione formulae differentialis (\({1+n\cos\psi )^{\nu} {\rm d}\psi}\) . In [WW, 8:35–64].
Gauss, C.F. [WA] Determinatio seriei nostrae per aequationem differentialem secondi ordinis, in [WW, 3: 207–229].
Gauss, C.F. [WB] Zur Theorie der unendlichen Reihe F(α ,β ,γ ,x) in [WW, 10, Abt.1: 326–359].
Gauss, C.F. [WC] Zur Lehre von den Reihen in [WW, 10, Abt.1, 382–428].
Gauss, C.F. [WD] Zur Metaphysik der Mathematik, in [WW, 12: 57–61].
Gauss, C.F. [WW] Werke, Göttingen, Leipzig, and Berlin: Königliche Gesellschaft der Wissenchaften, 1863–1929 (12 vols.).
Gilain, Ch. [1998] Condorcet et le Calcul Integral in R. Rashed (ed.) Sciences a l’époque de la Révolution Française. Recherches Historiques, Paris: Blanchard, 1988.
Gillies, D. (ed.) [1992] Revolutions in Mathematics, Oxford: Claredon Press, 1992, 226–248.
Grabiner, J. V. [1981] The origins of Cauchy rigorous calculus, Cambridge (Mass.) and London: M.I.T Press, 1981.
Grattan-Guinness, I. [1970] The Development of the Foundations of Mathematical Analysis from Euler to Riemann, Cambridge (Mass.) and London: M.I.T Press, 1970.
Gray, J. [1984] A commentary on Gauss’s mathematical diary, 1796–1814, with an English translation, Expositiones Mathematicae 2 (1984), 97–130.
Gray, J. [1986] Linear Differential Equations and Group Theory from Reimann to Poincaré, Boston, Basel: Stuttgart, Birkhäuser, 1986. (2nd edition Birkhauser Boston, 2000).
Gray, J. [1992] The nineteenth-century revolution in mathematical ontology. In Gillies [1992, 226–248].
Jahnke, H.N. [1993] Algebraic Analysis in Germany, 1780–1840: Some Mathematical and Philosophical Issues, Historia Mathematica, 20 (1993):265–284.
Katz, V.J., [1987], The Calculus of the Trigonometric Functions, Historia Mathematica, 14 (1987) 311–324.
Kramp, C. [1799] Analyse des réfractions astronomiques et terrestres, Strasbourg: Dannbach 1799.
Lacroix, S.F. Traité du calcul différentiel et du calcul intégral, tome second, Paris: Duprat 1798.
Lagrange, J.-L. [1766] Sur l’intégration de quelques équations différentielles dont les indéterminées sont séparées, mais dont chaque membre en particulier n’est point intégrable, Miscellanea Taurinensia, 4 (1766) Œuvres 9, 5–33.
Lagrange, J.-L. [1797] Théorie des fonctions analytiques: contenant les principes du calcul différentiel, dégagés de toute considération d’infiniment petits et d’évanouissons de limites ou de fluxions, et réduits á l’analyse algébrique des quantités finies, Paris: Impr. de la République, 1797, 2nd ed., Paris : Courcier 1813. In [Œuvres, 9].
Lagrange, J.-L. [1798] Traitè de la résolution des équations numériques de tous les degrés, Paris: Duprat 1798. 2nd ed., Paris: Courcier 1806. In [Œuvres, 8].
Lagrange, J.-L. [1806] Leçon sur le calcul des fonctions, 2n d ed., Paris: Courcier, 1806 in [Œuvres, 10]
Lagrange, J.-L. [Œuvres] Œuvres de Lagrange, ed. by M. J.-A. Serret and G. Darboux, Gauthier-Villars, Paris, 1867–1892, 14 vols.
Legendre, A.M., [1794] Mémoire sur les transcendantes elliptiques, Paris: DuPont and Didot. The second year of the Republic.
Legendre, A.M., [1811–17] Exercices de Calcul Intégral, sur divers ordres de Transcendantes et sur les quadratures, Paris: Courcier, 1811–1817.
Gottfried W. Leibniz [MS], Leibnizens mathematische Schriften, edited by C. I. Gerhardt, Berlin and Halle, 1849–1863.
Markuschewitsch, A.I [1955] Die Arbeitein von C.F. Gauss über Funktionentheorie in C.F.Gauss Leben und Werk, ed. by H.Reichardt, Berlin, 1955, pp.151.182.
Otte, M. and Panza. M. [1997] Analysis and synthesis in Mathematics. History and Philosophy, Kluwer A. P., Dordrecht, Boston, London, 1997.
Panza, M. [1992] La forma della quantità. Analisi algebrica e analisi superiore: il problema dell’unità della matematica nel secolo dell’illuminismo, vol. 38–39 of the Cahiers d’historie et de philosophie des sciences, 1992.
Panza, M. [1996] Concept of Function, between Quantity and Form, in the 18th Century, in History of Mathematics and Educations: Ideas and Experiences, ed. H.N.Jahnke, N.Knoche and M.Otte, Göttingen: Vandenhoeck & Ruprecht, 1996, 241–274.
Pensivy, M. [1987–88] Jalons historique pour une épistémologie de la série du binôme, Sciences et techniques en perspective, 14, 1987–1988.
Pfaff, J.F. [1797a] Disquisitiones Analyticae, Helmstedt: Fleckeisen 1797.
Pfaff, J.F. [1797b] Observationes analyticae ad L.Euleri Institutiones Calculi Integralis, Nova acta academiae scientiarum Pretopolitanae, 9 (1797): 38–57.
Schlesinger, L. [1922–1923] Ueber Gauss’ Arbeiten zur Funktionentheorie, in Gauss [WW, 10:2, n.2].
Soldner, J. G. v. [1809] Théorie et tables d’une nouvelle fonction transcendante, München, 1809.
Truesdell, C.A. [1960], The rational mechanics of flexible or elastic bodies 1638–1788, in Euler [OO] (2) 9.
Wallis, J. [1656] Arithmetica infinitorum in Opera Mathematica, Hildesheim: Georg Olms Verlag, 1972.
Youschkevitch, A.P. [1976] The Concept of Function up to the Middle of the 19th Century, Archive for History of Exact Sciences, 16 (1976):37–84.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Lützen.
Rights and permissions
About this article
Cite this article
Ferraro, G. The foundational aspects of Gauss’s work on the hypergeometric, factorial and digamma functions. Arch. Hist. Exact Sci. 61, 457–518 (2007). https://doi.org/10.1007/s00407-007-0004-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00407-007-0004-8