| 概要 | 本講演ではalgorithmic randomnessの理論の紹介をする。
前半ではrandomnessがどのように研究対象となっていったか、
その歴史を紹介しながら、確率、統計、予測理論、エルゴード理論、
などとの関連について話をする。
後半ではrandomnessの理論における最も基本的な事実の一つである、
Martin-L\"of randomnessのKolmogorov複雑性による特徴付けの証明を
丁寧に説明する。randomnessの理論においてどのように証明が進むのか
見る事で計算可能性の概念が本質的に重要である事を説明する。
|