13,385 reputation
31948
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 10 months
seen 3 mins 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".


4
Jan 15 at 12:08
4
Apr 12 '12 at 11:18
4
Jun 8 '11 at 12:12
4
Jun 2 '11 at 13:39
4
Mar 13 '11 at 18:02
3
Aug 23 at 16:24