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


2
Nov 26 '13 at 14:29
2
Nov 15 '13 at 20:02
2
Jul 28 '13 at 4:23
2
Jun 23 '13 at 10:40