Matteo Capucci on Nostr: he follows such an observation with this take, which is quite funny given that the ...

he follows such an observation with this take, which is quite funny given that the most interesting developments in logic in the last century or so came from dropping axioms from classical logic (first lem to get intuitionistic logic, then weakening/contraction to get linear logic). and I wouldn't say IL and LL are just musings of the ivory tower dwellers, since they say quite important things about computation, and e.g. make implication---which Jaynes rightly criticizes for being very unintuitive---much more adherent to intuition