00:00:00 / 00:00:00

A geometric theory of algorithms

By Thomas Seiller

Appears in collection : Logic and transdiciplinarity: Mathematics/Computer Science/ Philosophy/Linguistics / La Logique et la transdisciplinarite : Maths/Info/Philo/Linguistique

In this programmatic talk, we will sketch both a conceptual and formal framework for reasoning about the notion of algorithm. This framework will arise from the analysis we will make of the relationships existing between the notion of algorithm and other similar (but still different) notions, like that of computation and that of program. We will first show that the Turing-Church thesis concerning effective computability is not sufficient to capture the notion of algorithm, as it identifies programs which are intensionally different. We will then show the limits of the existing models of computation in capturing some basic construction processes that we are willing to call algorithmic. In order to solve this problem, we propose a formalisation of the notion of model of computation on the base of which we claim that the notion of algorithm could eventually be analyzed. This approach centered around the dynamics of program execution, reconciles the more mechanical view of computation (such as formalized by Turing machines and automata) with the logical view - as it in particular stems from a generalization of Jean-Yves Girard's Geometry of Interaction programme.

Information about the video

Citation data

  • DOI 10.24350/CIRM.V.19887403
  • Cite this video Seiller, Thomas (11/02/2022). A geometric theory of algorithms. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19887403
  • URL https://dx.doi.org/10.24350/CIRM.V.19887403

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback
Loading the web debug toolbar…
Attempt #