Advertisement

The Mysteries of Richard Dedekind

  • David Charles McCarty
Chapter
Part of the Synthese Library book series (SYLI, volume 251)

Abstract

Everybody loves a mystery. And I have three. Pending their resolutions, any mathematical portrait of Richard Dedekind remains unfinished. For the mysteries are mathematical veils across the face of Dedekind’s work. The first of the three involves a “proof” of something most set theorists do not prove and a conclusion most people would not allow. What set theorists normally do not prove is the axiom of infinity, the assertion that there exists an infinite set. What Dedekind offers us seems to be a mysterious “proof” of exactly that.1 Its logical heart is Dedekind’s assertion that the Gedankenwelt, his own thoughtworld, constitutes such an infinite collection. It is also Dedekind’s view that from any infinite collection one can garner the unique series of natural numbers.2 Can we conclude, therefore, that the one and only natural numbers, the numbers so painstakingly defined in Was Sind and Was Sollen die Zahlen? are to be located within the world of his — Dedekind’s — thought? Is this what Dedekind wants us to believe? The second mystery revolves around Dedekind’s famous essay on continuity, Stetigkeit and irrationale Zahlen. We uncover the mystery by asking, “How can Dedekind claim to have captured — in his definition of ‘real number’ — the essence of the continuum and, at the very same time, describe for us a continuum which we cannot see to satisfy that definition?” We suppose that, in the “Continuity” essay, Dedekind first unveils his definition of the continuum, the one formulated in terms of Dedekind cuts. We do not often remark upon the fact that, before setting out that definition, Dedekind attempts to motivate it by assuming the existence and examining the character of another, seemingly distinct continuum. This structure Dedekind calls ‘the straight line.’ Although Dedekind, in presenting reals in terms of cuts, claims to have captured the essence of the continuum, he makes no effort to prove a uniqueness result. He does not even assay the prospect that the two continua of his own article might be related in some fully satisfactory, mathematical way. Later — in a letter (Dedekind 1932, p. 478) — Dedekind will insist, in effect, that the two structures, the straight line and the collection of Dedekind reals, cannot be proved isomorphic. How many Dedekindian continua are there — one or two? That is the second mystery. On the face of it, the third mystery seems to be one of historical classification rather than mathematical individuation. Dedekind is generally acknowledged to be the father of classical set-theoretic algebra and, by every measure logical and mathematical, was no constructivist. Yet, Dedekind avers — often and throughout his writings — that mathematical entities are not mind-independent, Platonistic abstracta, but are literally geistig or mental. More troubling still, Dedekind seems to think them not sempiternal but brought into being by discrete mental episodes, acts he calls ‘freie Schöpfung’ — free creation. This is romantic, even revolutionary, talk and just the idiom constructivists such as Brouwer chose to herald the anticlassical revolt. “Free mathematics! A free creation of the human mind!” is a constructivist’s — and not a classical mathematician’s — rallying cry.

Keywords

Mathematical Object Cardinal Number Infinite System Pure Reason Creative Power 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Dedekind, R.: 1932, Gesammelte Mathematische Werke. Dritter Band, R. Fricke, E. Noether and O. Ore (eds.), Druck und Verlag von Friedrich Vieweg und Sohn, Braunschweig, 508 pp.Google Scholar
  2. Dedekind, R.: 1963, Essays on the Theory of Numbers, W. W. Beman (trans.), Dover Publications, New York, 115 pp.Google Scholar
  3. Dedekind, R.: 1967, ‘Letter to Keferstein’, in J. van Heijenoort (ed.), From Frege to Gödel. A Source Book in Mathematical Logic 1879–1931, Harvard University Press, Cambridge, MA, pp. 98–103.Google Scholar
  4. Dugac, P.: 1976, Richard Dedekind et les fondements des mathematiques: Avec de nombreux textes inedits. Collection des travaux de l’Academie internationale d’histoire des sciences, no. 24. J. Vrin, Paris, 334 pp.Google Scholar
  5. Dummett, M.: 1978, Truth and Other Enigmas, Harvard University Press, Cambridge, MA, pp. lviii + 470.Google Scholar
  6. Frege, G.: 1979, Posthumous Writings, H. Hermes et al. (eds.), University of Chicago Press, Chicago, pp. xiii + 288.Google Scholar
  7. Hambourger, R.: 1977, ‘A Difficulty with the Frege-Russell Definition of Number’, Journal of Philosophy LXXIV(7) (July 1977), 409–414.Google Scholar
  8. Heyting, A.: 1964, ‘Disputation’, in P. Benacerraf and H. Putnam (eds.), Philosophy of Mathematics. Selected Readings, First Edition, Prentice-Hall, Inc., Englewood Cliffs, pp. 55–65.Google Scholar
  9. Kant, I.: 1950, Prolegomena to any future Metaphysics, L. W. Beck (ed.), The Liberal Arts Press, Inc., Indianapolis, pp. xxxiv + 136.Google Scholar
  10. Kant, I.: 1965, Critique of Pure Reason, N. K. Smith (trans.), St. Martin’s Press, New York, pp. xiii + 681.Google Scholar
  11. Kant, I.: 1966, Kritik der reinen Vernunft,Phillip Reclam, Stuttgart, 1011 pp.Google Scholar
  12. Kitcher, P.: 1986, ‘Frege, Dedekind and the Philosophy of Mathematics’, in L. Haaparanta and J. Hintikka (eds.), Frege Synthesized, D. Reidel Publishing Co., Dordrecht, pp. 299–343.Google Scholar
  13. Kronecker, L.: 1899, ‘Über den Zahlbegriff’, in K. Hensel (ed.), Werke, vol. 3. Teubner, Leipzig, p. 253.Google Scholar
  14. McCarty, D. C. and L. P. McCarty: 1993, ‘Dedekind: The Greatest Art of the Systematizer’, ms., 15 pp.Google Scholar
  15. Moore, G. H.: 1982, Zermelo’s Axiom of Choice. Its Origins, Development, and Influence, Springer-Verlag, New York, pp. xiv + 410.Google Scholar
  16. Parsons, C.: 1983, Mathematics in Philosophy. Selected Essays, Cornell University Press, Ithaca, New York, 365 pp.Google Scholar
  17. Quine, W. V. O.: 1971, Set Theory and its Logic, Revised Edition, Harvard University Press, Cambridge, MA, pp. xvii + 361.Google Scholar
  18. Russell, B.: n.d., Introduction to Mathematical Philosophy,Simon and Schuster, New York, pp. xix + 208.Google Scholar
  19. Salmon, N. and S. Soames: 1988, Propositions and Attitudes, Oxford University Press, New York, 282 pp.Google Scholar
  20. Stein, Howard: 1988, ‘Logos, Logic and Logistiké: Some Philosophical Remarks on the 19th Century Transformation of Mathematics’, in W. Aspray and P. Kitcher (eds.), History and Philosophy of Modern Mathematics, University of Minnesota Press, Minneapolis, pp. 238–259.Google Scholar
  21. van Stigt, W.: 1979, ‘The Rejected Parts of Brouwer’s Dissertation on the Foundations of Mathematics’, Historia Mathematica 6, 385–404.CrossRefGoogle Scholar
  22. van Stigt, W.: 1990, Brouwer’s Intuitionism. Studies in the History and Philosophy of Mathematics, Vol. 2, North-Holland, Amsterdam, pp. xxvi + 530.Google Scholar
  23. Walker, R. C. S.: 1989 KantRoutledge, London, pp. xii + 201. Google Scholar
  24. Wittgenstein, L.: 1984, Tractatus Logico-philosophicus. Werkausgabe Band 1, Suhrkamp, Frankfurt am Main, 621 pp.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • David Charles McCarty
    • 1
  1. 1.Indiana UniversityUSA

Personalised recommendations