le calcul 
différentiel de Leibnitz

est peut-être
la reprise du calcul différentiel
de Newton

découvert
grâce à la méthode des fluxions





la machine de Turing

repose
sur l'argument de la diagonale
de Cantor











la diagonale de Cantor

montre
qu'il n'existe pas d'algorithme