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.

**abstract**
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.