Enjoys programming in Prolog. Will solve math problems for food.
Rosser's trick: "For every proof of me, there is a shorter proof of my negation".
meta user
network profile
