Les mathématiciens face au défi des machines, from Pour la Science, May 2022
What to do when some humans are more compatible than others
Presentation at Workshop "Perspectives on Mathematical Practices", January 2021
Two hours in the epistemological gladiator pit
A close-ish reading of texts by Jody Azzouni and Jeremy Avigad
But the politicians can be left behind
Why speculate when you can just ask?
And what does this have to do with mechanization?
See all

Silicon Reckoner