クイズ大陸



履歴 検索 最新 出題

No. 63≫ No.64 ≫No. 65
?ボムボム 2010/02/20 00:40
さらに言うと、そのようなGがあるのなら、
問題となっている質問文を、@の解釈ではなく

「G(A')は真か?」
(A'=「門Aは天国の門」)

とすればいいと思いませんか?
自然言語をどのように命題に対応させるのか、というところは自明ではないように思います。
返信 編集
?ゲーデル
>自然言語をどのように命題に対応させるのか、
>というところは自明ではないように思います
そういうことです。 (^_^)
Gは本質的に「門番が答える行為」に対応しますから、Gを自然な言葉で
表現しようとすれば必ず「〜の質問に...と答える」となります。
すると、E(〜)が必ず付いてくるんですよね。

だから、回避策の1つとしては、「自明な1対1対応がある」わけではない、というふうになります。>>63のコメントの真ん中くらいの話です。
本来は「’」を付けるのにさえ、制限が必要です。 (;_;)