12/09/19 01:08:48.35
>>77
ゴメン、突っかかってるわけじゃ決してないんだが、もう少し教えてくれ。
「ちゃんと筋道たてて例外がないことを証明しないといけない」
っていう「例外がないことの証明」ってどうやるの?
一つの道筋が成り立つかどうかを検証するのは、筋道を立ててロジックを追えば”成り立つ”かどうかはわかるじゃん?
けれど「例外がない」ってことは、「その一つ以外のすべての可能性」について対峙しなきゃなんないってことでしょ?
けれど、”すべての可能性”そのものが確認されていないし、未来に向けての可能性ももちろん確定できないわけだから、
「例外がない」ってことは果たして証明できるのかなって思ってさ。
現時点、数学界で知られている地平においての”暫定的証明”というなら分かるんだけどさ、
それにしたって例外がないことを証明するって大変だよなと(だから何年もかかるんだろうけど)。