PRL Seminars
Elena Nogina
On continuity of computable real functionsMay 1, 2000
CommentBrouwer revealed a striking connection between effectivity and continuity: every intuitionistic real function is continuous. In this talk we give a simple proof of an algorithmic version of this fact: every computable real function is continuous.Slides
|
| Home |