Abstract

Dans cet article je réponds à deux questions philosophiques soule­vées par la thèse suivante appelée « thèse de l’hyper-calcul » : il est possible de construire physiquement un modèle d’hyper-calcul. La première question est liée aux enjeux de cette thèse. Puisque la construction physique d’un modèle de calcul dépasse le cadre mathématique initial de la théorie de la calculabilité, j expliquerai pourquoi il est nécessaire de construire physiquement un modèle d’hyper-calcul. La seconde question concerne le problème de la vérification : à supposer que l’on dispose d’un modèle d’hyper-calcul construit physiquement, il serait impossible de vérifier que ce modèle calcule une fonction non calculable par machine de Turing. Je proposerai une analyse de ce problème dans le but de montrer qu’il ne remet pas en cause de façon explicite la thèse de l’hyper-calcul.