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


217
× 92
56
× 23
172
× 62
54
× 34
156
× 72
52
× 20
79
× 35
52
× 15
74
× 33
49
× 13
Mathematics 15,737 rep 32954
Stack Overflow 5,746 rep 21236
Computational Science 1,847 rep 1423
Meta Stack Exchange 1,261 rep 2613
Programmers 703 rep 1712

3,361 Votes Cast

all time   by type   month   week   day
2,942 up 1,198 question 105 12 4
419 down 2,163 answer