Abstract
Modern logic owes its existence to a truly grandiose dream — one already dreamed by Leibniz. Before recounting the dream, let me describe the historical context.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Further Reading
Frege & Russel: Briefwechsel (Widerspruch in der Mengenlehre), appeared in: Jean van Heijenoort: From Frege to Gödel, a source book in mathematical logic 1879–1931, pp. 124–128, Cambridge, Mass., Harvard University Press, 1967
Bernays, P.: Betrachtungen über das Vollständigkeitsaxiom und verwandte Axiome, Mathematische Zeitschrift, vol. 63, PP. 219–299, (1955)
Euklid: Die Elemente, Ostwalds Klassiker der exakten Wissenschaften, Nr. 235, 1. Teil, 3. Buch, § 16, pp. 57–59, und Nr. 236, 2. part, 5. book, pp. 17–36. Leipzig, Akad. Verlagsgesellschaft, 1932
Archimedes, O: The Works of Archimedes with the Method of Archimedes, edited by T.L. Heath, in particular the introduction in the appendix pp. 5–11, also pp. 12–51. New York. Dover
Kasner, E.: The Recent Theory of the Horn Angle, Scripta Mathematica, vol. 11, pp. 263–267, (1945)
Galilei: Galilei on Infinites and Infinitesimals, in: D.J. Struik: A Source Book in Mathematics, 1200–1800, pp. 198–207. Cambridge, Mass., Harvard University Press, 1969
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Engeler, E. (1993). Language as Part of Mathematics. In: Foundations of Mathematics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78052-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-78052-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-78054-7
Online ISBN: 978-3-642-78052-3
eBook Packages: Springer Book Archive