- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
196 :132人目の素数さん[sage]:2017/01/03(火) 00:05:35.83 ID:N8RBL+XJ - >>174
そもそもAの文章が曖昧 正確な文章で考えてみる C適切なBを用意すればAの正しさを証明できる……これは正しい (極端な話、Aの無矛盾性を意味する論理式をAに追加したものをBとすればいい) DAと異なるBを何でもいいから用意すればAの正しさを証明できる……これは間違い おそらく貴方はCとDを混同してるからBのような勘違いが産まれた
|
- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
213 :132人目の素数さん[sage]:2017/01/03(火) 00:10:04.09 ID:N8RBL+XJ - >私も不完全性定理全然知らないですけど、あなたの思っている「正しさ」≠矛盾がない、ということではないと思います
最初の質問>>161の時点で 正しさ(矛盾がないこと) と書いてあるでしょ
|
- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
220 :132人目の素数さん[sage]:2017/01/03(火) 00:12:06.77 ID:N8RBL+XJ - 後800もあるけど、またその調子でスレを埋め立てるつもり?
やっぱり君は高校生相手に粋がってるのがお似合いだよ 背伸びするから恥をかく
|
- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
376 :132人目の素数さん[sage]:2017/01/03(火) 00:55:40.14 ID:N8RBL+XJ - 1時間かけて200レス
埋め尽くすまでもう3時間かかるな
|