Abstract
This chapter is another illustration of the complications engendered by the introduction of nomenclature, here emerging in the form of overspecificity and loss of symmetry. It aaso discusses the choice between recursion and complete unfolding.
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). In adherence to symmetry. In: On the Shape of Mathematical Arguments. Lecture Notes in Computer Science, vol 445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020913
Download citation
DOI: https://doi.org/10.1007/BFb0020913
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