数学基礎論サマースクール2012 http://www2.odn.ne.jp/tadaki/LSS2012.html の発展コース 「アルゴリズム的ランダムネスと数学」 の講義資料が公開されていた。
自分は残念ながら諸事情により聞きにいけなかったんだけど、とりあえず資料を読もう……