228 reputation
16
bio website math.cmu.edu/~jrute
location State College, PA
age 32
visits member for 2 years, 5 months
seen Apr 18 at 12:25

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.


This user has not answered any questions

12 Votes Cast

all time   by type   month  
12 up 4 question 2
0 down 8 answer