履歴
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.
ダウンロード
プレプリント