Que calcule cet algorithme ? : Lire un algorithme donne-t-il plus d’information sur ce qu’il calcule que de l’exécuter aveuglément ?

Mathieu Hoyrup 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Autre publication
Article de vulgarisation présentant un travail de recherche récent, publié dans Images des Mathém.. 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01202984
Contributeur : Mathieu Hoyrup <>
Soumis le : mardi 22 septembre 2015 - 09:49:35
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25

Identifiants

  • HAL Id : hal-01202984, version 1

Citation

Mathieu Hoyrup. Que calcule cet algorithme ? : Lire un algorithme donne-t-il plus d’information sur ce qu’il calcule que de l’exécuter aveuglément ?. Article de vulgarisation présentant un travail de recherche récent, publié dans Images des Mathém.. 2015. 〈hal-01202984〉

Partager

Métriques

Consultations de la notice

259