Il a aussi discuté de la place du formalisme mathématique dans l'enseignement de l'algorithmique.
Il a soutenu que le formalisme mathématique est essentiel pour comprendre les fondements des algorithmes, mais qu'il doit être utilisé de manière pédagogique pour éviter de décourager les étudiants.