Department of Mathematics Pennsylvania State University State College, PA 16802 Email: Office: 421 McAllister Bldg |

News

- I am an invited speaker in the special session Computability Across Mathematics at the AMS Sectional Meeting in St. Louis on October 18–20.
- My website and I have successfully moved to Penn State.
- I successfully defended my PhD on August 8!

I am a research associate (post doc) at Penn State specializing in mathematical logic.

In 2013, I received my Ph.D. in Mathematical Science from Carnegie Mellon University under Jeremy Avigad.

I am interested in the nontrivial interactions between computable mathematical structure and classical mathematical structure. To this aim, I work on problems in algorithmic randomness, reverse mathematics, effective mathematics, and quantitative analysis (including metastability).

See my
Curriculum Vitae and
Research Statement for more information.

Math 457: Introduction to Mathematical Logic (Spring 2014).

Algorithmic randomness, martingales and differentiation

[preprint]

Oscillation and the mean ergodic theorem for uniformly
convex Banach spaces

with Jeremy Avigad.

*Ergodic Theory and Dynamical Systems*. To appear.
[arXiv]

Van Lambalgen's theorem for uniformly relative Schnorr and
computable randomness

with Kenshi Miyabe.

*Proceedings of the 12th Asian Logic Conference*, 251–270, 2013.
[arXiv]
[doi]

Computable randomness and betting for
computable probability spaces

Submitted.
[arXiv]

Algorithmic randomness, reverse mathematics, and the
dominated convergence theorem

with
Jeremy Avigad,
Edward Dean.

*Annals of Pure and Applied Logic*, 163(12):1854–1864, 2012.
[arXiv]
[doi]

A metastable
dominated convergence theorem

with
Jeremy Avigad,
Edward Dean.

*Journal of Logic and Analysis*,
4:3:1–19, 2012.
[doi]

*Topics in algorithmic randomness and computable analysis*

PhD dissertation. Carnegie Mellon University, 2013.

Consists of the following two papers:

Computable randomness and betting for computable probability spaces

Algorithmic randomness, martingales and differentiation

Schnorr randomness and computable analysis

AMS Sectional Meeting:
Computability Across Mathematics, October 19–20, 2013

[slides]

Topics in algorithmic randomness and computable analysis
(PhD defense presentation)

Carnegie Mellon University,
Mathematical Sciences Dept, August 8, 2013

[slides]

Algorithmic randomness for Doob's martingale
convergence theorem in continuous time

Computability and complexity in analysis, July 8–10, 2013

[slides]

Schnorr randomness for noncomputable measures

Computability in Europe, July 1–5, 2013

[slides]

Transformations which preserve computable randomness

Algorithmic Randomness and Analysis, June 27–28, 2013

[abstract]
[slides]

The computability of martingale convergence

Joint Mathematics Meeting /
ASL Contributed Paper Session, January 9–12, 2013

[abstract]
[slides]

Computable randomness and martingales a la probability theory

Penn State Logic Seminar, November 13, 2012

[abstract]
[slides]

Ultrafilters and Ergodic Theory

Arbeitsgemeinschaft: Ergodic Theory and Combinatorial Number Theory,

October 7–19, 2012

[extended abstract]

Martingale convergence and
algorithmic randomness

Logic Colloquium 2012, July 12–18, 2012.

[slides]

Computable
randomness and its properties

7th
Conference on Computability, Complexity and Randomness, July 2–6,
2012.

[slides]
[abstract & video (35 min)]

Computable
randomness for computable probability spaces

Twelfth
Asian Logic Conference (Invited speaker), December 15–20, 2011.

[slides]

Randomness, martingales
and differentiability

Randomness and Analysis in Auckland, December 12–13, 2011.

[abstract]
[slides]

Randomness
and the Lebesgue Differentiation Theorem

Southern
Wisconsin Logic Colloquium, May 10, 2011.

[slides]

Randomness
and the Lebesgue Differentiation Theorem

Graduate
Student Conference in Logic, May 7, 2011.

[slides]

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