|location||State College, PA|
|visits||member for||3 years, 1 month|
|seen||Dec 15 at 22:58|
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.
|bio||website||math.cmu.edu/~jrute||visits||member for||3 years, 1 month|
|location||State College, PA||seen||Dec 15 at 22:58|
14 Votes Cast
|all time||by type|