KnowledgeBase » 
SEMINAR
» ID = 510
On continuity of computable real functions
by Elena Nogina
1999-2000
Comment
Brouwer 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