Follow
George Davie
Title
Cited by
Cited by
Year
The Borel–Cantelli lemmas, probability laws and Kolmogorov complexity
G Davie
The Annals of Probability 29 (4), 1426-1434, 2001
292001
On the computability of a construction of Brownian motion
G Davie, WL Fouché
Mathematical Structures in Computer Science 23 (6), 1257-1265, 2013
162013
Kolmogorov complexity, circuits, and the strength of formal theories of arithmetic
E Allender, G Davie, L Friedman, SB Hopkins, I Tzameret
Chicago J. Theor. Comput. Sci 2013, 2013
162013
Weihrauch-completeness for layerwise computability
G Davie, W Fouché, A Pauly
Logical Methods in Computer Science 14, 2018
122018
Fourier spectra of measures associated with algorithmically random Brownian motion
G Davie, S Mukeru, WL Fouché
Logical Methods in Computer Science 10, 2014
112014
Characterising the Martin-Löf random sequences using computably enumerable sets of measure one
G Davie
112004
Recursive events in random sequences
G Davie
Archive for Mathematical Logic 40, 629-638, 2001
52001
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
University of Pretoria, 2000
2000
The local time of Martin-Löf random Brownian motion
WL Fouché, S Mukeru, G Davie
The system can't perform the operation now. Try again later.
Articles 1–18