16,157 reputation
11028
bio website uclue.com
location Knoxville, TN
age 62
visits member for 4 years, 3 months
seen 23 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.


148
× 57
17
× 2
22
× 7
17
22
× 4
15
× 3
20
× 6
14
× 5
20
× 4
14
× 5
Mathematics 16,157 rep 42954
Stack Overflow 5,816 rep 21236
Computational Science 1,929 rep 1524
Meta Stack Exchange 1,236 rep 2614
Programmers 703 rep 1712

600 Votes Cast

all time   by type   month   week   day
571 up 231 question 22 7 2
29 down 369 answer