コメント数
6
旧過去ログ内 4941位 / 8,050
OLD TEACH No.005242OLD LOG
「この問題」
旧教えて出題 rimse arrabbiata2003-11-28
事件概要
まだパズル/なぞなぞ系で「この問題が解けない事を証明せよ」についての議論は続いているけれど
今そのスレッドで↓の質問をしたら話がややこしくなりそうなのでこちらで質問します。
「この問題が解ける事を証明せよ」
これの答えはどうなるのでしょうか？
今そのスレッドで↓の質問をしたら話がややこしくなりそうなのでこちらで質問します。
「この問題が解ける事を証明せよ」
これの答えはどうなるのでしょうか？
捜査データ
参加者数
3
コメントした名前の数
議論期間
3日
出題から最後のコメントまで
掲示板
旧教えて
2001-2006 旧過去ログ
証言記録 (6)
xevs
Ｐ＝「この問題が解けることを証明せよ」
Ａ?@Ｐが解けると仮定する。
?A?@より「この問題が解けることを証明できる」
?B証明できることは真なる命題であるからＰは解ける。
Ｂ?@Ｐが解けないと仮定する。
?A?@より「この問題が解ける」は偽である。
?B偽なる命題は証明できないからＰは解けない。
解けるとすれば解ける、解けないとしたら解けない。
どっちなんでしょう。数学的事実とかだったら
どちらかの仮定からは矛盾が出てくるような気が…
考えてたんですが、残念ながら私にはわかりません。
Ａ?@Ｐが解けると仮定する。
?A?@より「この問題が解けることを証明できる」
?B証明できることは真なる命題であるからＰは解ける。
Ｂ?@Ｐが解けないと仮定する。
?A?@より「この問題が解ける」は偽である。
?B偽なる命題は証明できないからＰは解けない。
解けるとすれば解ける、解けないとしたら解けない。
どっちなんでしょう。数学的事実とかだったら
どちらかの仮定からは矛盾が出てくるような気が…
考えてたんですが、残念ながら私にはわかりません。
rimse arrabbiata
「この質問に『はい』と答えますか？」
「この質問に『いいえ』と答えますか？」
みたいな感じになるんでしょうか。
肯定形はどちらでも成立するけど否定形ではどちらでも矛盾するというやつ。
「この質問に『いいえ』と答えますか？」
みたいな感じになるんでしょうか。
肯定形はどちらでも成立するけど否定形ではどちらでも矛盾するというやつ。
わかる？
どちらにしても 正解は出題者が決めることなので
出題者が、出した答えが正解
どんな、こじつけであったとしても。。。
出題者が、出した答えが正解
どんな、こじつけであったとしても。。。
残り3件の証言をすべて表示
rimse arrabbiata
>どんな、こじつけであったとしても。。。
それはいくらなんでも暴論だと思います。
それ以前の問題として、これは誰かが質問者（出題者）が正解を用意している問題ではないのですが……。
それはいくらなんでも暴論だと思います。
それ以前の問題として、これは誰かが質問者（出題者）が正解を用意している問題ではないのですが……。
わかる？
あ、そうなの。。。しらんかったぁ。。
なら、無理なんじゃ？今までのどんな理論も完璧じゃない以上
証明することは不可能ですよ。
1+1=2 ですら。。。証明しているけど。。。ほんとかどうか？
なら、無理なんじゃ？今までのどんな理論も完璧じゃない以上
証明することは不可能ですよ。
1+1=2 ですら。。。証明しているけど。。。ほんとかどうか？
xevs
> 「この質問に『はい』と答えますか？」
> 「この質問に『いいえ』と答えますか？」
> みたいな感じになるんでしょうか。
> 肯定形はどちらでも成立するけど否定形ではどちらでも矛盾するというやつ。
直感的にはそんな感じがしますね。
ちなみに１＋１＝２は数の定義みたいなものなので、
（と私は認識してます）
１＋１≠２とする論理学の一分野もあるんですよ。
> 「この質問に『いいえ』と答えますか？」
> みたいな感じになるんでしょうか。
> 肯定形はどちらでも成立するけど否定形ではどちらでも矛盾するというやつ。
直感的にはそんな感じがしますね。
ちなみに１＋１＝２は数の定義みたいなものなので、
（と私は認識してます）
１＋１≠２とする論理学の一分野もあるんですよ。
関連する問題
NEXT CASE
現代版推理ゲーム
未解決ファイルはこちら
▶ 未解決ファイルへ掲載内容に問題がある場合
削除依頼・お問い合わせはこちら