2011-10-03から1日間の記事一覧

数学基礎論講義をこっそり読む(その5)

PART A 第4講に入りました。テキストのこの講はかなり駆け足というか猛ダッシュで、クリーネの標準型定理が説明だけなのは肩すかしをくらったような感がありますが、計算論のどの教科書にも載っている内容だからということなのかもしれません。私もちょこち…