12,615 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".


31
Aug 27 '13 at 14:54
9
Dec 21 '10 at 14:51
9
Dec 5 '10 at 14:07
7
Jan 26 at 0:23
7
Apr 9 '11 at 3:26
7
Dec 1 '10 at 23:47
6
Jun 27 at 6:46
6
Feb 2 at 14:33
6
Nov 29 '12 at 17:05