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

古典論理だと、「西から太陽が登るならば私は猫である」が真、というのは有名な話ですよね。これについては色々議論があります。

· Web · 0 · 1