7,074 reputation
11133
bio website uclue.com
location Knoxville, TN
age 60
visits member for 2 years, 6 months
seen 4 hours ago
stats profile views 869

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".


74
× 34
34
× 2
65
× 27
30
× 9
49
× 25
30
× 8
38
× 8
29
× 12
37
× 22
26
× 12
Mathematics Stack Exchange Mathematics 7,074 rep 11133
Stack Overflow Stack Overflow 3,917 rep 1826
Computational Science Stack Exchange Computational Science 1,114 rep 1216
Programmers Stack Exchange Programmers 293 rep 1311
Meta Stack Overflow Meta Stack Overflow 265 rep 126

840 Votes Cast

all time   by type   month   week  
830 up 221 question 32 10
10 down 619 answer