- 399 名前：１３２人目の素数さん [2005/05/11(水) 12:46:29 ]
- ここ数日間、本を読んでてよくわからなくなった部分周辺を見回していますが、
∀x<t
>>393
のような意味で用いられてるみたいですね
ここにくるまで、そういう表現が特に必要がなくて、で、いまだに、どうして、こういう表現が必要なんだろう、というところで、ぐるぐる混乱しています。
>>396のはなかったことにして、
ロッサーの可証述語というものについて、誰か教えてください。
Pr'（ｘ）≡∃ｙ（Prov(y,x)∧¬∃ｚ＜ｙDispr(z,x))
Pr'（φのゲーデル数の数項）で、意味は、
「ある論理式φの証明ｙがあって、ｙよりゲーデル数が小さなものはどれも¬φの証明ではない」ということらしいですが、
なんで、〜より小さなもの、ということを言わなければいけないのか、がわかりません。
「ある論理式φの証明があって、ある¬φの証明は無い」ではだめなのでしょうが、その理由がよくわかりません。
