12,605 reputation
31948
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 8 months
seen 4 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".


5
Dec 11 '13 at 13:50
5
Dec 1 '11 at 16:47
4
Apr 10 at 22:28
4
Jan 15 at 12:08