Skip to main content Accessibility help
×
Home
Hostname: page-component-59b7f5684b-7j4dq Total loading time: 0.415 Render date: 2022-10-05T15:56:52.042Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "useRatesEcommerce": false, "displayNetworkTab": true, "displayNetworkMapGraph": true, "useSa": true } hasContentIssue true

CHARACTER AND OBJECT

Published online by Cambridge University Press:  20 June 2016

Abstract

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. Modern presentations of the proof are explicitly of higher-order, in that they involve quantifying over and summing over Dirichlet characters, which are certain types of functions. The notion of a character is only implicit in Dirichlet’s original proof, and the subsequent history shows a very gradual transition to the modern mode of presentation.

In this essay, we study the history of Dirichlet’s theorem with an eye towards understanding the methodological pressures that influenced some of the ontological shifts that occurred in nineteenth century mathematics. In particular, we use the history to understand some of the reasons that functions are treated as ordinary objects in contemporary mathematics, as well as some of the reasons one might want to resist such treatment.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Avigad, J. Modularity in mathematics, in preparation.
Avigad, J., & Morris, R. (2014). The of “character” in Dirichlet’s theorem on primes in an arithmetic progression. Archive for History of Exact Sciences, 68(3), 265326.CrossRefGoogle Scholar
Avigad, J., & Morris, R. Character and object (expanded version), unpublished. http://arxiv.org/abs/1505.07238.
Curtis, C. W. (1999). Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer. American Mathematical Society and London Mathematical Society, Providence, RI.CrossRefGoogle Scholar
de la Vallée Poussin, C. J. (1895–1896). Démonstration simplifiée du théorèm de Dirichlet sur la progression arithmétique. Mémoires couronnés et autres mémoires publiés par L’Académie Royale des Sciences, des Lettres et des Beaux-Arts de Belgique, 53.Google Scholar
Dedekind, R. (1932). In Fricke, R., Noether, E., and Ore, Ö., editors. Gesammelte mathematische Werke, Vols. 1–3. Braunschweig: F. Vieweg & Sohn. Reprinted by Chelsea Publishing Co., New York, 1968.Google Scholar
Dirichlet, J. P. G. L. (1837a). Beweis eines Satzes über die arithmetische Progression. Bericht über die Verhandlungen der königlich Presussischen Akademie der Wissenschaften Berlin. Reprinted in Dirichlet (1889), pp. 309312.Google Scholar
Dirichlet, J. P. G. L. (1837b). Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält. Abhandlungen der königlich Preussischen Akademie der Wissenschaften, 4581. Reprinted in Dirichlet (1889), pp. 313–342. Translated by Stefan, Ralf as “There are infinitely many prime numbers in all arithmetic progressions with first term and difference coprime.”Google Scholar
Dirichlet, J. P. G. L. (1840). Über eine Eigenschaft der quadratischen Formen. Journal für die reine und angewandte Mathematik, 21, 98100.Google Scholar
Dirichlet, J. P. G. L. (1841). Untersuchungen über die Theorie der complexen Zahlen. Journal für die reine und angewandte Mathematik, 22, 190194.Google Scholar
Dirichlet, J. P. G. L. (1863). In Dedekind, R., editor. Vorlsesungen über Zahlentheorie . Braunschweig, Germany: Vieweg. Subsequent editions in 1871, 1879, 1894, with “supplements” by Dedekind, Richard. Translated by John Stillwell, with introductory notes, as Lectures on Number Theory, American Mathematical Society, Providence, RI, 1999.Google Scholar
Dirichlet, J. P. G. L. (1889). In Kronecker, L., editor. Werke. Berlin: Georg Reimer.Google Scholar
Edwards, H. M. (1984). Galois Theory. New York: Springer.Google Scholar
Euler, L. (1748). Introductio in analysin infinitorum, tomus primus. Lausannae. Publications E101 and E102 in the Euler Archive.Google Scholar
Frege, G. (1904). Was ist eine Funktion? In Meyer, S., editor, Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage. Leipzig: J. A. Barth. Reprinted in Frege (2002) and translated as “What is a function?” In Geach, P. and Black, M., editors, Translations from the Philosophical Writings of Gottlob Frege. Oxford: Oxford University Press, 1980.Google Scholar
Frege, G. (2002). In Textor, M. editor, Funktion – Begriff – Bedeutung. Göttingen: Vandenhoeck and Ruprecht.Google Scholar
Gauss, C. F. (1801). Disquisitiones Arithmeticae. Leipzig: G. Fleischer. Reprinted in Gauss’ Werke, Königlichen Gesellschaft der Wissenschaften, Göttingen, 1863. Translated with a preface by Clarke, Arthur A., Yale University Press, New Haven, 1966, and republished by Springer, New York, 1986.
Gray, J. (1992). The nineteenth-century revolution in mathematical ontology. In Gillies, D., editor, Revolutions in Mathematics. Oxford: Oxford University Press, pp. 226248.Google Scholar
Hadamard, J. (1896). Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques. Bulletin de la Société Mathématique de France, 24, 199220.CrossRefGoogle Scholar
Hawkins, T. (1971). The origins of the theory of group characters. Archive for History of Exact Sciences, 7, 142170.CrossRefGoogle Scholar
Kronecker, L. (1870). Auseinandersetzung einiger eigenschaften der klassenzahl idealer complexer zahlen. Monatsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin, 881–882. Reproduced in Kronecker (1968), vol. I, pp. 271282.Google Scholar
Kronecker, L. (1895–1930). In Hensel, K., editor, Werke, vol. 1–5. Leipzig: B. G. Teubner. Reprinted by Chelsea Publishing Co., New York, 1968.
Kronecker, L. (1901). In Hensel, Kurt, editor. Vorlesungen über Zahlentheorie. Leipzig: B. G. Teubner.Google Scholar
Kummer, E. E. (1846). Zur Theorie der complexen Zahlen. Koniglich Akademie der Wissenschaft Berlin, Monatsbericht, 87–97. Also in Journal für die reine und angewandte Mathematik, 35, 319–326, 1847, and in Kummer’s Collected Papers, edited by André Weil, Springer-Verlag, Berlin, 1975, vol. 1, 203–210.
Landau, E. (1909). Handbuch der Lehre von der Verteilung der Primzahlen, vol. 1. Leipzig: B. G. Teubner.Google Scholar
Landau, E. (1927). Vorlesungen über Zahlentheorie. Leipzig: S. Hirzel.Google Scholar
Mach, E. (1960). The Science of Mechanics: A Critical and Historical Account of its Development. Translated by McCormack, T. J., La Salle, Illinois: The Open Court Publishing Co.Google Scholar
Mancosu, P., editor. (2008). The Philosophy of Mathematical Practice. Oxford: Oxford University Press.CrossRefGoogle Scholar
Manders, K. The Euclidean diagram. In Mancosu (2008), pp 80133.
Morris, R. (2011). Character and object. Master’s thesis, Carnegie Mellon University.Google Scholar
Quine, W. V. O. (1948). On what there is. The Review of Metaphysics, 2, 2138. Reprinted in Quine, W. V. O. (1980) From a Logical Point of View. Cambridge: Harvard University Press.Google Scholar
Quine, W. V. O. (1969). Ontological Relativity, and Other Essays. New York: Columbia University Press.Google Scholar
Tignol, J.-P. (2001). Galois’ Theory of Algebraic Equations. New Jersey: World Scientific.CrossRefGoogle Scholar
Urquhart, A. Mathematics and physics: strategies of assimilation. In Mancosu (2008), pp. 417440.
Weber, H. (1882). Beweis des Satzes, dass jede eigentlich primitive quadratische Form unendlich viele Primzahlen darzustellen fähig ist. Mathematische Annalen, 20, 301329.CrossRefGoogle Scholar
Wilson, M. (1994). Can we trust logical form? The Journal of Philosophy, 91, 519544.CrossRefGoogle Scholar
Wittgenstein, L. (1989). Wittgenstein’s Lectures on the Foundations of Mathematics, Cambridge, 1939. Chicago: University of Chicago Press.Google Scholar
7
Cited by

Save article to Kindle

To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

CHARACTER AND OBJECT
Available formats
×

Save article to Dropbox

To save this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about saving content to Dropbox.

CHARACTER AND OBJECT
Available formats
×

Save article to Google Drive

To save this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about saving content to Google Drive.

CHARACTER AND OBJECT
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *