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


109
× 46
12
21
× 7
12
20
× 6
10
× 2
19
× 4
9
× 8
14
× 5
8
× 4
Mathematics 14,607 rep 32350
Stack Overflow 5,446 rep 21132
Computational Science 1,807 rep 1322
Meta Stack Exchange 1,211 rep 2513
Programmers 703 rep 1712

503 Votes Cast

all time   by type   month   week  
479 up 201 question 28 2
24 down 302 answer