12,261 reputation
21948
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 8 months
seen 2 hours ago

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".


2
Jul 28 '13 at 4:23
2
Jun 23 '13 at 10:40
2
Feb 24 '13 at 13:09