13,448 reputation
31948
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 10 months
seen 4 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".


184
× 75
51
× 33
144
× 49
48
× 22
128
× 57
48
× 13
75
× 34
47
× 20
53
× 25
46
× 14
Mathematics 13,448 rep 31948
Stack Overflow 5,247 rep 11030
Computational Science 1,807 rep 1321
Meta Stack Exchange 1,176 rep 2513
Programmers 683 rep 1712

2,727 Votes Cast

all time   by type   month   week   day
2,409 up 965 question 90 42 3
318 down 1,762 answer