Preuve et calcul, des rapports intimes
La thèse de Church et la déraisonnable efficacité des mathématiques dans les sciences de la nature
Qu'est-ce qu'une démonstration (non) constructive ?
L'interprétation algorithmique des démonstrations.
Une démonstration est-elle une explication ?
L'information a-t-elle une densité bornée ?
Diophante, l'infini et les ordinateurs
Une deuxième révolution galiléenne ?
Des nombres aux arbres : comment varier ses exemples d'algorithmes ?
Informatique et physique : quelques interactions
Le logarithme dans les sciences