y. 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.
y. @waidotto

自己検証理論(self-verifying theory)というのがあるのか,面白そう.加算・乗算記号の代わりに減算・除算記号を使うと不完全性定理に捕まらずに自己の無矛盾性を証明できるそうな.

· Web · 0 · 1