Mercredi 09/06/2010, à partir de 11h, en salle Galois Coriolis.
Orateur : Nicolas Julien.
Titre : Effective and sequential definition by cases on the reals via infinite signed-digit numerals by M. Escardo.
Résumé :
Je vais parler d’un résultat amusant en arithmétique réelle. Il est possible de calculer certaines fonctions définies par cas même si la comparaison n’est pas décidable. Dans son article, Martin Escardo montre la calculabilité d’un opérateur général défini par cas dans un cadre où les réels sont représentés par des suites infinies de chiffres signés en base deux. Je vais présenter les étapes de sa preuve.L’article de M. Escardo peut être trouvé ici : http://www.cs.bham.ac.uk/~mhe/papers/lexnew.pdf
