L’algorithmique et les sciences

Les preuves interactives et l’épistémologie algorithmique