16,482 reputation
11030
bio website uclue.com
location Knoxville, TN
age 62
visits member for 4 years, 5 months
seen 7 hours 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.


183
× 61
20
× 7
35
× 5
17
× 2
27
× 6
17
23
× 7
15
× 5
22
× 4
15
× 3
Mathematics 16,482 rep 43155
Stack Overflow 5,844 rep 21238
Computational Science 1,939 rep 1524
Meta Stack Exchange 1,301 rep 2614
Programmers 703 rep 1712

621 Votes Cast

all time   by type   week  
591 up 241 question 2
30 down 380 answer