2019-02-20から1日間の記事一覧

矛盾がないというのは感情の満足ですね。岡潔

最近、感情的にはどうしても矛盾するとしか思えない二つの命題をともに仮定しても、それが矛盾しないという証明が出たのです。だからそういう実例をもったわけなんですね。それはどういうことかというと、数学の体系に矛盾がないというためには、まず知的に…