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


0
Jul 20 at 15:05
0
Jul 17 at 12:43
1
Jul 3 at 11:53
6
Jun 27 at 6:46