La vidéo en anglais ici. Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv Gödel s’est-il moqué de nous ? Le podcast NotebookLM (beaucoup plus détaillé) :
La communication que j’avais présentée au colloque UNILOG, le 9 avril 2022, disponible maintenant sur arXiv : What makes a demonstration worthy of the name? What makes a demonstration worthy of the name?Télécharger
Et si le programme de Hilbert tenait toujours ? (Et si Gödel, Church, Turing, Kleene avaient été de mauvaise foi ?)
En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies permettant de conserver vos préférences, d'établir des statistiques et d'afficher des contenus tiers (par exemple, des vidéos YouTube).