Monthly Archives: September 2010

Algorithmic randomness over general spaces

Title
Algorithmic randomness over general spaces

Type
Talk

This talk is in “Formal Systems and Computability Theory” as a RIMS research project in Kyoto in Japan on Sep 16, 2010.
This talk is based on the paper Algorithmic randomness over general spaces.

Download
slide
Attached slides are in English.
Attached slides are in English.

Posted in Talks | Leave a comment

Limit theorems on a computable topological space

Title
Limit theorems on a computable topological space

Type
Talk

This talk is in ALGI21 at Shiga in Japan on Sep 6, 2010
and is based on the paper A Random Sequence of Reals.

Download
slide
Attached slides are partially Japanese and almost English.

Posted in Talks | Leave a comment