Predavatelj: Zvonko Iljazović (Zagreb)

If S is a semi-computable subset of Euclidean space, then S
need not be computable. However, under certain topological
assumptions on S, we can conclude that S is computable. In
this talk the following result will be presented: if S is a
compact manifold with boundary and if the boundary of S is
computable, then S is computable.

Predavanje bo potekalo v Ljubljani, soba 2.02, Jadranska 21, ob 10. uri

Accessibility