人気ブログランキング | 話題のタグを見る

スマリヤン 数理論理学講義(上)P224の学習 2

昨日のところを具体的に書いてみる。

指示子の集合
H={h1,h2,,hi,,}

各指示子の表す数の集合。
h1={1,2}
h2={3,4}
hi={0,9,11}
など各指示子の集合を定義する。

1∈h1なのでh1(1)=T
3∉h1なのでh1(3)=F

h1のG数を5とするとh1=H5となる。h1のゲーデル数5をh1に適用した結果はH5(5)=h1(5)となる。これは文なので真偽とゲーデル数が存在し、H5(5)=h1(5)のG数を5*と記述する。

ここまではいいかな?
by tomoarrow | 2020-08-05 07:00 | モチーフについて | Comments(0)