タイトル
Schnorr Layerwise Computability
種類
口頭発表
発表場所
証明論及び計算可能性理論に関するワークショップ
“Workshop on Proof Theory and Computability Theory 2012”
2012年2月20日-23日
ワークショップのウェブサイト
アブストラクト
In order to formalize the notion of randomness mathematically,
the theory of algorithmic randomness uses computability theory.
Recent researches show that some notions in algorithmic randomness conversely
are useful to study computable analysis.
One example is layerwise computability defined by Hoyrup and Rojas 2009.
In this talk I introduce Schnorr layerwise computability,
which is a Schnorr-randomness version,
and explain why this is a more natural notion.
ダウンロード
スライド