1,767 reputation
419
bio website math.cmu.edu/~jrute
location State College, PA
age 32
visits member for 3 years, 2 months
seen 7 mins ago

I am in the math department at Penn State. My main interests are Computability Theory and Proof Theory. More specifically, I am interested in the relationship between computability and analysis, including computable analysis, algorithmic randomness, reverse mathematics, and finitary/metastable results.


150 Votes Cast

all time   by type   month   week   day
147 up 64 question 10 4 1
3 down 86 answer