247 reputation
110
bio website math.cmu.edu/~jrute
location State College, PA
age 33
visits member for 2 years, 10 months
seen Aug 23 at 22:55

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.


247 Reputation

5 Jul 19
5 Jun 20
5 Jun 16
5 May 18
5 Feb 28
5 Feb 5
10 Jan 30
5 Jan 12
100 Aug 10 '13
5 Aug 9 '13
35 Aug 8 '13
10 Mar 5 '13
5 Feb 26 '13
5 Mar 6 '12
5 Jan 26 '12
5 Nov 12 '11
10 Nov 11 '11
5 Nov 5 '11
17 Nov 3 '11