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

Jeřábekの博論で素因数分解が$S^1_2$で証明できることが示されているんだけど、これがなぜ素因数分解が$P$じゃないかも、という現在の想定と矛盾しないか、あいかわらずよく分からないでいる。

· Web · 0 · 0