yoriyuki is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
yoriyuki @yoriyuki

ICMですべての数学論文にCoqでの証明をつけることが義務付けられてから20年の時が流れた。しかし、「数学の本質はその自由性にある」とするカントール主義者たちの抵抗は収まらず、Coqのバグによる矛盾の証明を活用した「脱獄」行為が跡を絶たたない。

· Web · 0 · 2