Jean-Marc Lévy-Leblond

Ainsi tout n’est pas calculable, y compris dans l’univers mathématique des nombres, et il n’existe même pas de critère pour savoir à l’avance si une fonction sera calculable ou non, c’est-à-dire pour décider si une machine de Turing, autrement dit quelque ordinateur que ce soit, obtiendra sa valeur en un nombre fini d’étapes.