計算論が難解な圏^H件について

Filed in , 読書感想文

以前のエントリに書いたとおり、ちょこちょこ計算論を読んでます。

でも集合論をちゃんと勉強したことのない長月には難解です。

本当にゆっくりゆっくりと理解しながら進むことにします。今まで一度読んでわかった気になって薄っぺらなままきているので、ここで一回ちゃんと数学的な基盤を自分の中に作っておくべきだと思いました。

ので、ちゃんと読んでちゃんと考えて、考えた事はメモして行こうと思います。

とりあえず初メモ。

例1.3.2.に出てくる1変数関数pred(x)=xー1について。

定義)
pred(0)=0=zero(),
pred(x+1)=x=p21(x, pred(x))

理解のために手で展開してみる。

pred(0)=0

pred(1)=pred(0+1)
          =p21(0, pred(0))
          =p21(0, 0)
          =0

pred(2)=pred(1+1)
          =p21(1, pred(1))
          =p21(1, pred(0+1))
          =p21(1, p21(0, pred(0)))
          =p21(1, p21(0, 0))
          =p21(1, 0)
          =1

pred(3)=pred(2+1)
          =p21(2, pred(2))
          =p21(2, pred(1+1))
          =p21(2, p21(1, pred(1)))
          =p21(2, p21(1, pred(0+1)))
          =p21(2, p21(1, p21(0, 0)))
          =p21(2, p21(1, 0))
          =p21(2, 1)
          =2

超納得いった。手をうごかすの大事ですね。

あとblogとかで数式書くのめんどくせえ。誰かWLW用にTeXプラグインとか作ってくだしあ。



Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Oenology Post Formats
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Posts Calendar
Click to view/hide
2009年12月
« 5月   1月 »
 12345
6789101112
13141516171819
20212223242526
2728293031  

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
アーカイブ
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
最近の投稿
Click to view/hide