Sewon Park: All (computable) functions are continuous

Abstract: A central theorem of Type-2 Theory of Effectivity states that every computable function on the reals is continuous. As an immediate consequence, many familiar functions, including the sign function, are classified as non-computable. In this talk, I introduce this result and discuss how this obstacle, especially the sign function being non-computable, is handled in the practice of exact real number computation.

Seminar website: https://mathematical-conversations.splet.arnes.si/