Résumé

Dans cet exposé, nous rappelons brièvement les bases de la calculabilité. Après avoir montré combien l'universalité est répandue presque partout et peut être atteinte avec de faibles ressources, nous examinerons les tentatives pour briser le "mur de Turing" contenu dans ce qu'on appelle la thèse de Church.
Nous étudierons comment le temps et l'espace interviennent dans les différents modèles présentés jusqu'ici pour aller au delà de ce mur.

L'exposé sera prononcé en français. On en trouvera néanmoins ci-dessous une présentation en langue anglaise.
"Computations, Time and Space"

Summary: "In this talk, we sketchilly remind the bases of computability. After showing how universality is present almost everywhere and is obtained with very few ressources, we shall have a look at the attempts to break the Turing barrier contained in what people know as Church's thesis. We investigate how time and space are used in the various models presented so far to go beyond the Turing barrier."

Adresse

Institut Henri Poincaré.
11 rue Pierre et Marie Curie, 75005 Paris

Autres Informations

Intervenant

Maurice MARGENSTERN

Université de Metz

14h00