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


12,685 Reputation

10 yesterday
20 2 days ago
40 Jul 30
10 Jul 27
10 Jul 26
30 Jul 25
20 Jul 24
10 Jul 23
45 Jul 22
10 Jul 21
50 Jul 20
25 Jul 19
20 Jul 18
80 Jul 16
45 Jul 15
0 Jul 12
15 Jul 8
110 Jul 5
73 Jul 4
25 Jul 3
30 Jul 1
15 Jun 29
10 Jun 28
75 Jun 27
10 Jun 26
20 Jun 23
20 Jun 22
10 Jun 21
10 Jun 18
-15 Jun 15