クイズ大陸
履歴
検索
最新
出題
No. 63
≫ No.64 ≫
No. 65
ボムボム
2010/02/20 00:40
さらに言うと、そのようなGがあるのなら、
問題となっている質問文を、@の解釈ではなく
「G(A')は真か?」
(A'=「門Aは天国の門」)
とすればいいと思いませんか?
自然言語をどのように命題に対応させるのか、というところは自明ではないように思います。
返信
ゲーデル
>自然言語をどのように命題に対応させるのか、
>というところは自明ではないように思います
そういうことです。
Gは本質的に「門番が答える行為」に対応しますから、Gを自然な言葉で
表現しようとすれば必ず「〜の質問に...と答える」となります。
すると、E(〜)が必ず付いてくるんですよね。
だから、回避策の1つとしては、「自明な1対1対応がある」わけではない、というふうになります。
>>63
のコメントの真ん中くらいの話です。
本来は「’」を付けるのにさえ、制限が必要です。
ボムボム 2010/02/20 00:40
問題となっている質問文を、@の解釈ではなく
「G(A')は真か?」
(A'=「門Aは天国の門」)
とすればいいと思いませんか?
自然言語をどのように命題に対応させるのか、というところは自明ではないように思います。