Post #2264401
2026-05-06 01:55 UTC
first-order logic is hilariously full of holes like this.
Replies (1)
-
@cdrichards@mathstodon.xyz 2026-05-06 02:11
@typeswitch@gamedev.lgbt omg the first- vs second/higher-order diss literature is so captivating. You can see historic battles unfold in real-time on the f.o.m. list archives: https://fomarchive.ugent.be/1999-March/002864.html