14,070 reputation
31949
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 11 months
seen 3 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.


193
× 79
52
× 33
149
× 52
51
× 23
135
× 64
49
× 21
76
× 34
49
× 13
55
× 29
46
× 14
Mathematics 14,070 rep 31949
Stack Overflow 5,336 rep 11032
Computational Science 1,807 rep 1322
Meta Stack Exchange 1,181 rep 2513
Programmers 703 rep 1712

2,924 Votes Cast

all time   by type   month   week   day
2,578 up 1,044 question 129 18 1
346 down 1,880 answer