Post #4274081
2026-07-18 21:00 UTC
@golemwire
i wonder if it is a typo?
my thinking is the same as yours
Replies (1)
-
@golemwire@social.golemwire.com 2026-07-18 21:16
@rzeta0@mathstodon.xyz Idk. While going down a Wikipedia rabbit trail about logic, I found something called https://en.wikipedia.org/wiki/Intuitionistic_logic . I don't know a lot about it, but apparently implication works differently in it. Might be a lead https://en.wikipedia.org/wiki/Material_implication_(rule_of_inference)#Differences_with_implication_in_intuitionistic_logic