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?
@Lagarde Georges Oui, oui, mes remarques ci-dessus, si vous m’avez bien lue, concernent aussi la question de savoir ce que…
Laisser un commentaire