11,216 reputation
21946
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 5 months
seen 16 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".


3
Dec 30 '12 at 17:37
3
May 20 '11 at 9:23
3
Apr 8 '11 at 16:11
3
Jan 5 '11 at 13:53
2
Dec 31 '13 at 13:21
2
Nov 29 '13 at 13:10
2
Nov 26 '13 at 14:29
2
Nov 15 '13 at 20:02