Retour à la page du séminaire

3/02/2000, 11 h (séminaire PPS) : Martin H. Escardo
In real analysis there are singularities and in computation there is nontermination.


The title is a quotation, from memory, of a sentence in an early report by Dana Scott on the mathematical theory of computation. I add to that that in effective real analysis we have both, and in this lecture I'll show how they coincide, elaborating Scott's idea. I'll give both particular illustrative examples and interesting general results, developing concepts from scratch. In doing so, I'll contrast competing approaches to effective real analysis.