Mathematical Informatics - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2024

Mathematical Informatics

Thomas Seiller

Résumé

What is a model of computation? What is a program, an algorithm? While theoretical computer science has been founded on computability theory, the latter does not answer these questions. Indeed, it is a mathematical theory of computable functions, and does not account for computation itself. A symptomatic consequence is the notion of Turing-completeness. This standard (sole?) equivalence between models of computation is purely extensional: it does only care about what is computed and not how, blind to complexity aspects and the question of algorithmic completeness. More importantly, the theory of computation is continuously growing further from how actual machines compute. This document presents a proposal for alternative foundations more faithful to computer science practice and interests. This mathematisation of computer science is grounded within the theory of dynamical systems, focussing on *how* computation is performed rather than only on *what* is computed. It is argued that this approach generalises computability theory while still allowing to recover standard results. In a second part of the document, it is explained how this dynamical point of view can be used to: • propose a formal definition of the notion of algorithm • define static analysis methods which can be implemented in usable tools • provide a uniform account of several lower bounds from algebraic complexity and strengthen them • define families of linear realisability models (realisability models for linear logic) • lead to a semantic approach of implicit computational complexity
Fichier principal
Vignette du fichier
HdR.pdf (6.39 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-04616661 , version 1 (19-06-2024)
tel-04616661 , version 2 (19-06-2024)

Identifiants

  • HAL Id : tel-04616661 , version 2

Citer

Thomas Seiller. Mathematical Informatics: Outline of a mathematical theory of computer science. Discrete Mathematics [cs.DM]. Université Sorbonne Paris Nord, 2024. ⟨tel-04616661v2⟩
13 Consultations
21 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More