- 858 名前：848 mailto:sage [2006/03/01(水) 17:25:49 ]
- >>856
＞じゃなくて、「正しい」という言葉の意味を普通の数学者とは違う意味に捉えてる。
ああ、なるほどねぇ。でもじゃあ、直観主義者の「正しさ」の概念って時間の関数
なのかな？あ、クリプキとかいうヤツがなんかうまいセマンティクス考えたんだっけか？
漏れそれしらないや。そこんとこどうなんだろ？
普通に数学やっている人（古典論理主義者って言うのも変だからこう呼んでおく）は
「正しさ」が時間の関数だとは思ってないよね。例えば、今未解決の問題があったとして、
決定不能命題である場合は別にして、そうでない場合はそれが成り立つかそうでないか
は今知らないだけで決まってると思ってるよね？
