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


13,174 Reputation

20 yesterday
10 Aug 26
70 Aug 25
15 Aug 24
20 Aug 23
25 Aug 20
45 Aug 18
45 Aug 17
30 Aug 16
5 Aug 15
25 Aug 12
20 Aug 11
4 Aug 10
10 Aug 9
25 Aug 8
15 Aug 7
40 Aug 6
20 Aug 5
35 Aug 4
10 Aug 2
10 Aug 1
20 Jul 31
40 Jul 30
10 Jul 27
10 Jul 26
30 Jul 25
20 Jul 24
10 Jul 23
45 Jul 22
10 Jul 21