# Characterization of Kurtz randomness by a differentiation theorem

2012年12月25日出版
2012年8月8日オンライン
2012年7月12日アクセプト報告
2011年10月18日投稿

タイトル
Characterization of Kurtz randomness by a differentiation theorem

Theory of Computing Systems: Volume 52, Issue 1 (2013), Page 113-132
TOCSでのページ

Abstract
Brattka, Miller and Nies showed that some major algorithmic randomness notions are characterized via differentiability.
The main goal of this paper is to characterize Kurtz randomness by a differentiation theorem on a computable metric space.
The proof shows that characterization by integral tests plays an essential part and shows that how randomness and differentiation are connected.

ダウンロード
プレプリント