コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2019-11-27 to 1 day

Egisonで定理証明

これは「Egison Advent Calendar 2019 - Qiita」の5日目の記事です。 はじめに 1年くらい前に「Egisonで定理証明なんて無謀っすよ。」 とか書いていたと思うけど、できるかもしれない。 『定理証明手習い』を参考にします。方法は以下です。 命題に対して、…