Proving the existence of the Euler line

Part 0 Summaries ofthe expositional essays
Part of the Lecture Notes in Computer Science book series (LNCS, volume 445)


This chapter is concerned with some consequences of introducing nomenclature: repetitiousness, caused by the destruction of symmetry that is inherent to giving different things different names, and lack of disentanglement, caused by the availability of avoidable nomenclature. A second point the chapter wants to illustrate --and remedy-- is how the use of pictures has the danger of strongly inviting (i) the introduction of too much nomenclature, and (ii) implicitness about the justification of the steps of the argument.


Operating System Software Engineer Single Line Standard Argument Negative Factor 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Personalised recommendations