18/06/07 18:30:29.59 OJWspeKu.net
書き手の人：証明できる
読み手(全員かは分からん)：証明できない
この二つの主張に根拠を提出させれば、恐らく間違った論理で構築された証明文や歴史・経験等観点から得られた結論が返ってくる
手っ取り早いのはその方針での証明可能性を数学的に完全な形で証明出来ることだけど、それもまぁ時間的障壁とかやる気がでないとかでできない
18/06/07 18:30:29.59 OJWspeKu.net
書き手の人：証明できる
読み手(全員かは分からん)：証明できない
この二つの主張に根拠を提出させれば、恐らく間違った論理で構築された証明文や歴史・経験等観点から得られた結論が返ってくる
手っ取り早いのはその方針での証明可能性を数学的に完全な形で証明出来ることだけど、それもまぁ時間的障壁とかやる気がでないとかでできない