11,335 reputation
21946
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 5 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".


158
× 67
45
× 30
122
× 41
43
× 17
107
× 46
43
× 11
55
× 26
39
× 15
50
× 20
37
× 17
Mathematics 11,335 rep 21946
Stack Overflow 4,872 rep 11028
Computational Science 1,637 rep 1321
Meta Stack Exchange 974 rep 2513
Programmers 683 rep 1612

2,052 Votes Cast

all time   by type   month   week  
1,822 up 684 question 137 40
230 down 1,368 answer