11,182 reputation
21946
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 5 months
seen 14 secs 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
Apr 10 at 22:28
1
Mar 17 at 3:26
1
Mar 15 at 16:29
0
Mar 14 at 12:58