Abstract
This chapter walks a thin line. We don’t want to take the time to learn all of symbolic logic, as would be ideal to understand and prove theorems. But we have to get enough to work with, and without telling any lies or half-truths that might trip you up later. So the goal is modest: try to get enough of the language of theorems (actually the underlying language of mathematics) to understand some particular theorems of calculus.
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.
Rights and permissions
Copyright information
© 2000 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
(2000). The Language of Theorems. In: Inside Calculus. Undergraduate Texts in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-0-387-22646-0_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-22646-0_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-98932-7
Online ISBN: 978-0-387-22646-0
eBook Packages: Springer Book Archive