t_uda (2011-05-12 (木) 13:24:31)
第 6 章「強正規化定理」を一応終えた。次回は第 7 章から。
t_uda (2011-05-17 (火) 20:44:04)
第 7 章「Goedel's System T」を半分までやった。証明の場合分けの細かい部分をチェックした。
課題. 自然数上の加法 x+y に相当するλ項 t[x,y] について、可換性(t[x,y] = t[y,x])や x についての帰納性( t[0,y] = y, t[Sx,y] = St[x,y])が成り立つかどうかは直ちには分からないので次回までに考察しておいて下さい。
t_uda (2011-05-25 (水) 23:19:03)
第 7 章の残りを終わらせた。足し算・掛け算・べき乗・前者関数・引き算を再帰演算子 R を使って実際に定義し、R の性質を理解した。
t_uda (2011-05-30 (月) 14:58:10)
※今週の 5/31(火) は休み。代わりに 6/03(金) にやります。
8.4 の、 direct product of 2 coherence spaces までやった。次回 8.5 から。
t_uda (2011-06-07 (火) 18:00:52)
8.5.1 をやった。F と Tr(F) の対応について詳しく検証した。