Skip to main content
PRL Project

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

Slides