Calculs à temps ordinal – OTC

Ordinal Time Computation (OTC) est une nouvelle frontière de la recherche en informatique théorique qui vise à dépasser les
limites des paradigmes de calcul actuels en relaxant (de manière contrôlée) les contraintes de finitude du temps et d'espace.

Le projet OTC vise à étudier les modèles de calcul les plus prometteurs pour le calcul à temps ordinal et leurs relations avec la
calculabilité (classique) et la logique. Nous envisageons aussi d'étudier ces modèles de calcul en tant que systèmes dynamiques
et comprendre comment les contraintes géométriques et topologiques peuvent influencer les capacités de calcul.

Notre thème central est l'étude des machines de Turing à temps infini (ITTM). Nous souhaitons mieux comprendre leur
algorithmique en vue de notre étude des autres modèles de calcul.

Nous souhaitons étudier les modèles de calcul dans leur aspect dynamique de façon à mieux comprendre les liens entre dynamique et calcul.

Pour les modèles analogiques la notion de temps de calcul est plus subtile et nous souhaitons la comprendre pour des temps
transfini et établir des liens avec les ITTM.

En sus de ses objectifs scientifiques, notre projet vise à structurer la recherche au niveau national autour du calcul ordinal en
général.