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


116
× 50
13
22
× 7
13
20
× 6
10
× 2
20
× 4
9
× 8
14
× 5
9
× 3
Mathematics 14,933 rep 32452
Stack Overflow 5,676 rep 21136
Computational Science 1,837 rep 1323
Meta Stack Exchange 1,231 rep 2513
Programmers 703 rep 1712

531 Votes Cast

all time   by type   month   week   day
505 up 208 question 26 2 1
26 down 323 answer