-
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.
“GPT-4, how to rethink the P vs NP conjecture in light of the debate between Paul Jorion and Claude 3 ?”
Illustration by DALL·E from the text
Over the past few days, I’ve published a series of four posts devoted to the P vs NP conjecture. I had chosen the formula of proposing my provisional conclusions to AI Claude 3, encouraging it to question…
P vs NP exposed?
Illustration by DALL·E (+PJ)
This is a follow-up to yesterday’s post entitled P vs NP: I’ve hired two new staff!
Let me remind you that I asked Claude 3 to split into two, which he or she did and now…