2,066 reputation
422
bio website math.cmu.edu/~jrute
location State College, PA
age 33
visits member for 3 years, 10 months
seen 17 hours 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.


44
× 12
14
× 5
41
× 20
13
× 2
18
× 2
12
× 2
17
× 13
8
× 2
14
× 6
7
× 4

184 Votes Cast

all time   by type   month  
176 up 79 question 2
8 down 105 answer