Lecture 01, Slide 011
Tying ties may be at first an intimidatingly imprecise task, and indeed irrelevant. (Half of North Americans are not eligible to wear a tie, even to formal occasions, and those of the other half who are not working in a bank will maybe wear a tie on only two occasions and have the tie tied for them on the second one. Tying ties is, alas, a cultural technique that appears to be on the decline.). But it is a nice example for abstracting a complicated process down to its essential principles, and
reasoning formally about these principles to obtain
rigorous results about the process.
Here is an example of a systematic, albeit informal description of the process of how to tie a tie. But why is the process divided into exactly these steps? Are all of them necessary? How do we describe this process so that we can remember it ? Or do we need to refer to the sequence of images every time we would like to tie this knot? Is this a simple, or a rather complicated way to tie a tie; are there others? Are there better ways to tie a tie, and what could better even mean?