*Godot est mort !*
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 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
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?