14,933 reputation
32552
bio website uclue.com
location Knoxville, TN
age 61
visits member for 4 years, 1 month
seen 5 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.


1
Dec 6 at 22:34
1
Dec 2 at 4:32
2
Nov 22 at 15:02
3
Nov 20 at 13:59