tranny demon hacker on Nostr: but the more substantive critique is this: Wadler puts up this correspondence, and ...
but the more substantive critique is this:
Wadler puts up this correspondence, and then points to like 20 others, and then concludes that this shit is more-than-universal. he talks about how SUUUUURELY aliens will know modus ponens!
which is HILARIOUS!
because he literally just listed a bunch of type theories which are founded on things OTHER than what gives us modus ponens, some of which don't admit of modus ponens at all!
Wadler puts up this correspondence, and then points to like 20 others, and then concludes that this shit is more-than-universal. he talks about how SUUUUURELY aliens will know modus ponens!
which is HILARIOUS!
because he literally just listed a bunch of type theories which are founded on things OTHER than what gives us modus ponens, some of which don't admit of modus ponens at all!