Undergraduate colloquium: Kenshi Miyabe (Meiji U.)

When:
March 1, 2018 @ 3:00 pm – 4:00 pm
2018-03-01T15:00:00-10:00
2018-03-01T16:00:00-10:00
Where:
Keller 402

Speaker: Kenshi Miyabe (Meiji University)

Title: Continuity of limit computable functions

Abstract:
The Darboux-Froda theorem says that, for every non-decreasing function,
the set of the points of non-continuity is at most countable.
This is probably the simplest case saying that every function
well-behaves at almost every point.
I introduce some similar theorems, and their computable versions.
Then, we discuss the relation with randomized algorithm.