Abstract
The belief that equivalence is always most appropriately proved by showing mutual implication has undoubtedly been strengthened by the way in which proofs in Euclidean geometry are conducted. The purpose of this chapter is to show that some of that “geometrical evidence” is not compelling at all.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(1990). A monotonicity argument. In: On the Shape of Mathematical Arguments. Lecture Notes in Computer Science, vol 445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020916
Download citation
DOI: https://doi.org/10.1007/BFb0020916
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52849-4
Online ISBN: 978-3-540-47166-0
eBook Packages: Springer Book Archive