i've vaguely heard of ideas like this before ... something about self-distributivity in "foundations" ... hearing of it again now : ... wikipedia article on "laver table" and reference there to http://knot.kaist.ac.kr/2004/proceedings/DEHORNOY.pdf ...
??? .....
No comments:
Post a Comment