George Davie

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 3

Top Topics

Randomly Distributed

Closed Form Solutions

Optimal Stopping

Top Venues

Log. Methods Comput. Sci.

Chic. J. Theor. Comput. Sci.

Math. Struct. Comput. Sci.

Publications

George Davie
Left computably enumerable reals and initial segment complexity. CoRR (2022)
George Davie
Computability of convergence rates in the ergodic theorem for Martin-Löf random points. J. Log. Anal. 14 (2022)
Arno Pauly, Willem L. Fouché, George Davie
Weihrauch-completeness for layerwise computability. Log. Methods Comput. Sci. 14 (2) (2018)
Arno Pauly, George Davie, Willem L. Fouché
Weihrauch-completeness for layerwise computability. CoRR (2015)
Willem L. Fouché, Safari Mukeru, George Davie
Fourier spectra of measures associated with algorithmically random Brownian motion. Log. Methods Comput. Sci. 10 (3) (2014)
George Davie, Willem L. Fouché
On the computability of a construction of Brownian motion. Math. Struct. Comput. Sci. 23 (6) (2013)
Eric Allender, George Davie, Luke Friedman, Samuel Hopkins, Iddo Tzameret
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic. Chic. J. Theor. Comput. Sci. 2013 (2013)
Eric Allender, George Davie, Luke Friedman, Samuel Hopkins, Iddo Tzameret
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic. Electron. Colloquium Comput. Complex. 19 (2012)
George Davie
Characterising the Martin-Löf random sequences using computably enumerable sets of measure one. Inf. Process. Lett. 92 (3) (2004)
George Davie
Kolmogorov Complexity and Noncomputability. Math. Log. Q. 48 (4) (2002)
George Davie
Recursive events in random sequences. Arch. Math. Log. 40 (8) (2001)