A termination argument

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


The point of this little essay is to show in a nutshell how exploitation of symmetries --in this case between zeroes and ones-- does more than reducing the length of an argument by a factor of 2 : the exploitation strongly invites the “invention” of the concept in which the argument is most readily expressed. The essay is an exercise in not naming what can be left anonymous.


Proof Obligation Phase Exploitation Convex Figure Permutation Algorithm Code String 
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