-
Unilog 2022 – What makes a demonstration worthy of the name?, now on arXiv
The paper I presented at the UNILOG conference on 9 April 2022 is now available on arXiv: What makes a demonstration worthy of the name?
Video – Gödel’s legerdemain. The demonstration of his incompleteness of arithmetic theorem betrays his contempt for his fellow mathematicians
My contribution to the XXV World Congress of Philosophy this summer.