14,577 reputation
32349
bio website uclue.com
location Knoxville, TN
age 61
visits member for 4 years
seen 10 mins 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".

This is not the baggage check described by Article 4 of the Warsaw Convention.


14,577 Reputation

20 yesterday
35 Nov 22
+35 16:57 3 events
45 Nov 21
60 Nov 20
25 Nov 19
10 Nov 18
10 Nov 15
40 Nov 13
40 Nov 11
15 Nov 10
15 Nov 9
45 Nov 7
10 Nov 6
10 Nov 3
15 Nov 2
10 Oct 30
15 Oct 25
25 Oct 24
55 Oct 23
15 Oct 22
40 Oct 21
35 Oct 20
33 Oct 19
10 Oct 18
35 Oct 17
15 Oct 15
10 Oct 14
70 Oct 13
10 Oct 12
35 Oct 10