12,555 reputation
1820
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 8 months
seen 34 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".


97
× 36
13
22
× 7
10
× 2
20
× 4
7
× 3
15
× 5
7
13
× 5
6
× 4
Mathematics 12,555 rep 31948
Stack Overflow 5,117 rep 11028
Computational Science 1,712 rep 1321
Meta Stack Exchange 1,141 rep 2513
Programmers 683 rep 1712

389 Votes Cast

all time   by type   month   week  
373 up 155 question 27 4
16 down 234 answer