Mon projet de thèse intitulé « de la logique à la physique » a pour but général de montrer que le calcul qui est effectué par les ordinateurs ne forme pas seulement une branche de la logique mais doit être également étudié au sein des sciences physiques. Plus précisément, mon travail réside dans l'analyse logique de la notion de calcul proposée par Alan Turing en 1936. Cette analyse logique se fonde sur le modèle mathématique des ordinateurs actuels appelé « machine de Turing » . La machine de Turing est un modèle de calcul qui permet d'identifier les possibilités et les limites théoriques des ordinateurs indépendamment des ressources physiques. Ainsi l'étude des ordinateurs qui ont pour fonction principale de calculer peut-elle se faire directement à partir du modèle mathématique de la machine de Turing. Cette correspondance entre l'ordinateur et la Machine de Turing a eu pour conséquence que les limites des ordinateurs sont surtout étudiés indépendamment de leur nature physique. Et dans cette optique, la machine de Turing est le « mètre-étalon » du calcul, c'est une notion mathématique suffisante pour étudier les limites du calcul des ordinateurs. Un certain nombre de recherches menées depuis quelques années laissent cependant envisager que la structure physique des ordinateurs joue un rôle essentiel dans leur fonctionnement. De telles recherches pourraient permettre de fonder une critique de l'étude purement mathématique du calcul. Plus précisément, l'objet central de ces recherches est l'étude de « l'hyper-calcul », concept né en 1999 désignant le calcul qui dépasse les limites de la machine de Turing. Autrement dit, si de nos jours les limites de la machine de Turing sont considérées comme les limites du calcul, l'hyper-calcul renvoit quant à lui à l'affirmation qu'il serait possible de calculer « plus » que la machine de Turing; et c'est justement de la physique que proviendraient de telles possibilités.