A termination argument
- 138 Downloads
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.
KeywordsProof Obligation Phase Exploitation Convex Figure Permutation Algorithm Code String
Unable to display preview. Download preview PDF.