(no subject)
May. 13th, 2009 09:11 amI've started reading Godel Esher Bach: an endless golden braid. What I was actully looking for was a book on braid theory, because thats what topological quantum computers run on (Anyons obey the Pauli exclusion principle, so you can braid them). So far, what I've learnt is this:
The first rule of the theory of types is that you do not talk about the theory of types.
The first rule of the theory of types is that you do not talk about the theory of types.