Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Finding Resolution in unexpected places: Girard’s formula outside its usual setting

Peter Hines
YCCSA, York, UK
http://www.peterhines.info/

Date(s) : 02/07/2020   iCal
10h00 - 11h00

WEBINAIRE (visio: https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef)

Abstract: This is not a talk about Linear Logic or the Geometry of Interaction; these feature, very briefly, as historical background & motivation. Rather, the aim is to consider a key part of these topics — Girard’s « Resolution Formula » — in a more general context, and examine both where it appears in other settings and why this is the case.

These ‘other settings’ range across several distinct fields of theoretical computer science and mathematics. From a Theoretical Computer Science perspective, they include automata & Turing machines, domain theory, the low-level / high-level distinction, and the halting problem for quantum computers. The mathematical tools required include categorical closure & reflexivity, pointless topologies, categorical coherence, and inverse semigroups & categories.

The talk concludes by discussing possible future directions : in particular, whether we can identify / construct problems that we may prove are not solvable by certain classes of machines.

Peter Hines (YCCSA, York, UK)

 

Catégories


Secured By miniOrange