*Godot est mort !*
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?
<span data-mce-type="bookmark" style="display: inline-block; width: 0px; overflow: hidden; line-height: 0;" class="mce_SELRES_start"></span> Et si le programme de Hilbert tenait toujours ? (Et si Gödel, Church, Turing, Kleene avaient été de mauvaise foi ?)
<span data-mce-type="bookmark" style="display: inline-block; width: 0px; overflow: hidden; line-height: 0;" class="mce_SELRES_start"></span>
Et si le programme de Hilbert tenait toujours ? (Et si Gödel, Church, Turing, Kleene avaient été de mauvaise foi ?)