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


3
Nov 15 '13 at 22:04
3
Jul 18 '13 at 1:00
3
Apr 8 '13 at 15:23
3
Feb 12 '13 at 11:35
3
Dec 30 '12 at 17:37
3
May 20 '11 at 9:23