843 followers
RT @olehjortland: This promises to be a lot of fun! `Proof-theoretic pluralism', by Filippo Ferrari and Eugenio Orlandelli. https://t.co/Wk…
RT @olehjortland: This promises to be a lot of fun! `Proof-theoretic pluralism', by Filippo Ferrari and Eugenio Orlandelli. https://t.co/Wk…
This promises to be a lot of fun! `Proof-theoretic pluralism', by Filippo Ferrari and Eugenio Orlandelli. https://t.co/Wk8oHNXds7
Filippo Ferrari and Eugenio Orlandelli just published a paper which directly addresses and criticizes a paper of mine. I feel like this means I've made it as a philosopher! Also, the paper is great (and wrong, but the good kind of wrong). Check it out: ht