George Davie

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computability of convergence rates in the ergodic theorem for Martin-Löf random points Journal of Logic and Analysis	2022-10-06	Paper
Weihrauch-completeness for layerwise computability (available as arXiv preprint)	2018-05-30	Paper
Fourier spectra of measures associated with algorithmically random Brownian motion Logical Methods in Computer Science	2014-09-30	Paper
Kolmogorov complexity, circuits, and the strength of formal theories of arithmetic Chicago Journal of Theoretical Computer Science	2014-05-07	Paper
On the computability of a construction of Brownian motion Mathematical Structures in Computer Science	2014-04-16	Paper
Decidable lim sup and Borel-Cantelli-like lemmas for random sequences Statistics & Probability Letters	2013-01-25	Paper
Constraints placed on random sequences by their compressibility Statistics & Probability Letters	2012-08-30	Paper
Characterising the Martin-Löf random sequences using computably enumerable sets of measure one Information Processing Letters	2009-08-27	Paper
Recursive events in random sequences Archive for Mathematical Logic	2003-09-16	Paper
The Borel-Cantelli lemmas, probability laws and Kolmogorov complexity The Annals of Probability	2003-05-06	Paper
Kolmogorov Complexity and Noncomputability	2003-01-08	Paper
scientific article; zbMATH DE number 1506505 (Why is no real title available?)	2000-09-14	Paper

Research outcomes over time

This page was built for person: George Davie