[FOM] Formalization Thesis
Vaughan Pratt
pratt at cs.stanford.edu
Thu Jan 17 14:02:13 EST 2008
Bill Taylor wrote:
> if the knot pair is somehow untied, the cellophane must continuously
> deform, so that a line in it, originally from the north point of one circle
> to the north point of the other, will still become a line in the vertical
> plane joining them. But what was knotted before, has now become unknotted!
> Impossible, QED.
>
> I thought this proof was brilliant, especially for a schoolboy.
Yes, great out-of-the-box line of reasoning, even for an adult. However
I have the following problem with it. Consecutive knots commute, as can
be seen by leaving one loose while snugging the other up and sliding the
string along the shape formed by the loose knot until the snug knot has
passed all the way through the loose knot. Now with the cellophane in
place it's clear that the cellophane need not be disturbed at all when
you snug the bagged knot and thread it around the sleeved knot. However
if you try to snug the sleeved knot and thread it around the shape
formed by the bagged knot all topological hell breaks loose in the
cellophane. How do you argue that the cellophane doesn't get snagged on
itself somewhere in this process and block further progress? Was there
more to Conway's argument?
Vaughan Pratt
More information about the FOM
mailing list