7,019 reputation
11133
bio website uclue.com
location Knoxville, TN
age 60
visits member for 2 years, 6 months
seen 9 mins ago
stats profile views 863

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".


7,019 Reputation

10 yesterday
25 2 days ago
5 May 15
+5 17:04 upvote
16:59 upvote
5 May 14
30 May 13
45 May 9
30 May 8
30 May 7
10 Apr 30
35 Apr 26
40 Apr 25
25 Apr 24
55 Apr 23
0 Apr 22
25 Apr 21
10 Apr 16
10 Apr 15
10 Apr 12
20 Apr 10
20 Apr 8
15 Apr 3
10 Mar 28
35 Mar 25
5 Mar 24
15 Mar 19
20 Mar 18
45 Mar 12
20 Mar 11
40 Mar 10
47 Mar 9