Jason Ruteless info
|visits||member for||9 months|
|seen||May 13 at 18:28|
I'm a graduate student in logic at Carnegie Mellon. My main interests are Proof Theory and Computability 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||9 months|
|location||Pittsburgh, PA||seen||May 13 at 18:28|