- 最古の未解決問題が解決されたのか
474 ：１３２人目の素数さん[sage]：2018/06/07(木) 17:05:17.78 ID:OJWspeKu - 思ったんだが、書き手側が修正する必要がないと主張してるならそれでいいと思う
論文の完成がその修正の先にあるのなら、書き手は論文の完成を放棄したと見なせる
つまり、誰か別の人が修正を適用した論文をこちらに載せてもいいと思われる
|
- 最古の未解決問題が解決されたのか
476 ：１３２人目の素数さん[sage]：2018/06/07(木) 17:10:27.54 ID:OJWspeKu - それはどうだか
仮定として「論文の完成が当該修正の先にある」事は第三者の手によって検証される必要はある
|
- 最古の未解決問題が解決されたのか
478 ：１３２人目の素数さん[sage]：2018/06/07(木) 17:47:42.76 ID:OJWspeKu - 問題は、この方針で証明出来るかどうか誰にも分かっていないこと
ただ各人の直感と見出だされる状況証拠が、証明可能性を確信させる
それらはとても強力で、相反する確信は結論のない議論を展開させる
|
- 最古の未解決問題が解決されたのか
480 ：１３２人目の素数さん[sage]：2018/06/07(木) 18:30:29.59 ID:OJWspeKu - 書き手の人：証明できる
読み手(全員かは分からん)：証明できない
この二つの主張に根拠を提出させれば、恐らく間違った論理で構築された証明文や歴史・経験等観点から得られた結論が返ってくる
手っ取り早いのはその方針での証明可能性を数学的に完全な形で証明出来ることだけど、それもまぁ時間的障壁とかやる気がでないとかでできない
|
- 最古の未解決問題が解決されたのか
513 ：１３２人目の素数さん[sage]：2018/06/07(木) 22:07:46.88 ID:OJWspeKu - 正直言って、証明の検証の勉強にはいいと思う
|