Accueil >
Séminaire d’épistémologie
> Calculs, temps et espace
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."
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
11 rue Pierre et Marie Curie, 75005 Paris
Autres Informations
Intervenant
Maurice MARGENSTERN
Université de Metz
14h00