15,737 reputation
32954
bio website uclue.com
location Knoxville, TN
age 61
visits member for 4 years, 2 months
seen 3 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.


6
Nov 29 '12 at 17:05
5
Dec 11 '13 at 13:50
5
Dec 1 '11 at 16:47
5
Mar 31 '11 at 16:09
4
Dec 12 '14 at 13:16