Jason Rute

Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, PA 15213

Email:

Office: Wean Hall 7106

I have been a Ph.D student in the PAL (Pure and Applied Logic) program at Carnegie Mellon University since Fall 2008.

My advisor is Jeremy Avigad.

My research is in mathematical logic—proof theory and computability theory. My interests are best summed up by this quotation from Joe Miller's research statement:

I am particularly interested in problems that bring to light the nontrivial interaction between computable structure and classical mathematical structure.

To this aim, I am working on problems in algorithmic randomness, reverse mathematics, proof mining, meta-stability, and effective mathematics (especially related to measure theory, probability theory, and ergodic theory).

Publications

Metastable convergence theorems
with Jeremy Avigad, Edward Dean

Draft - arXiv

Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
with Jeremy Avigad, Edward Dean

Draft - arXiv

Talks

Here are some recent talks I've given, including abstracts, slides and/or handouts.

Computable Randomness for Computable Probabilty Spaces
Twelfth Asian Logic Conference (Invited speaker), December 15-20, 2011

Slides - PDF

Randomness, Martingales and Differentiability
Randomness and Analysis in Auckland, December 12-13, 2011

Abstract

Slides - PDF

Randomness and the Lebesgue Differentitation Theorem
Southern Wisconsin Logic Colloquium, May 10, 2011

Slides - PDF

Randomness and the Lebesgue Differentitation Theorem
Graduate Student Conference in Logic, May 7, 2011

Slides - PDF

Randomness and Computable Analysis
CMU Math Grad Student Seminar, Jan 18, 2011

Abstract

Randomness and the Convergence of Betting Systems
CMU Math Logic Seminar, Nov 23, 2010

Abstract

Randomness II
CMU Math Logic Seminar, Nov 17, 2009

How to Automatically Prove Every First-Order Theorem of the Reals
CMU Math Grad Student Seminar, Sept 10, 2009

Other

I also maintain an unofficial graduate student homepage directory.

Sometimes Google auto-corrects my name to "Jason Route".

Last Updated: Jan 06, 2012