Equivalent characterizations of partial randomness for a recursively enumerable real (Proof theoretical study of the structure of logic and computation)

ダウンロード数: 122

http://hdl.handle.net/2433/140459

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1635-10.pdf		1.99 MB	Adobe PDF	見る/開く

タイトル:	Equivalent characterizations of partial randomness for a recursively enumerable real (Proof theoretical study of the structure of logic and computation)
著者:	Tadaki, Kohtaro
著者名の別形:	只木, 孝太郎
キーワード:	algorithmic randomness recursively enumerable real number partial randomness Chaitin's $\Omega$ number program-size complexity universal probability
発行日:	Apr-2009
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	1635
開始ページ:	103
終了ページ:	120
URI:	http://hdl.handle.net/2433/140459
出現コレクション:	1635 証明論と論理・計算の構造

このリポジトリに保管されているアイテムはすべて著作権により保護されています。