The Borel–Cantelli lemmas, probability laws and Kolmogorov complexity G Davie The Annals of Probability 29 (4), 1426-1434, 2001 | 31 | 2001 |
On the computability of a construction of Brownian motion† G Davie, WL Fouché Mathematical Structures in Computer Science 23 (6), 1257-1265, 2013 | 16 | 2013 |
Kolmogorov complexity, circuits, and the strength of formal theories of arithmetic E Allender, G Davie, L Friedman, SB Hopkins, I Tzameret Chicago Journal of Theoretical Computer Science 2013, 2013 | 16 | 2013 |
Characterising the Martin-Löf random sequences using computably enumerable sets of measure one G Davie Information Processing Letters 92 (3), 157-160, 2004 | 13 | 2004 |
Weihrauch-completeness for layerwise computability A Pauly, W Fouché, G Davie Logical Methods in Computer Science 14, 2018 | 11 | 2018 |
Fourier spectra of measures associated with algorithmically random Brownian motion WL Fouché, S Mukeru, G Davie Logical Methods in Computer Science 10, 2014 | 11 | 2014 |
Recursive events in random sequences G Davie Archive for Mathematical Logic 40, 629-638, 2001 | 5 | 2001 |
On local times of Martin-Löf random Brownian motion WL Fouché, S Mukeru Theoretical Computer Science 979, 114199, 2023 | 1 | 2023 |
Computability of convergence rates in the ergodic theorem for Martin-Löf random points G Davie Journal of Logic and Analysis 14, 2022 | | 2022 |
Left computably enumerable reals and initial segment complexity G Davie arXiv preprint arXiv:2208.00423, 2022 | | 2022 |
Decidable lim sup and Borel–Cantelli-like lemmas for random sequences G Davie Statistics & Probability Letters 83 (1), 278-285, 2013 | | 2013 |
Constraints placed on random sequences by their compressibility G Davie Statistics & Probability Letters 82 (7), 1474-1478, 2012 | | 2012 |
Dobbelstrategieë vir toevalsrye s G Davie Suid-Afrikaanse Tydskrif vir Natuurwetenskap en Tegnologie 29 (1), 10-19, 2010 | | 2010 |
Gambling strategies for random sequences G Davie Suid-Afrikaans Tydskrif vir Natuurwetenskap en Tegnologie/South African …, 2010 | | 2010 |
Complexity and Turing Reducibility G Davie South African Mathematical Society, Rhodes University, Mathematics (Pure and …, 2005 | | 2005 |
Kolmogorov complexity and noncomputability G Davie Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (4), 574-580, 2002 | | 2002 |
Discrepancy of Complex Sequences Via Compressibility G Davie JOURNAL OF COMBINATORIAL MATHEMATICS AND COMBINATORIAL COMPUTING 33, 193-198, 2000 | | 2000 |
Kolmogorov complexity and recursive events G Davie PQDT-Global, 2000 | | 2000 |