Theodore A. Slaman (University of California Berkeley): Recursion Theory and Diophantine Approximation
Recursion Theory deals with the definability of sets, especially sets of natural numbers or equivalently
real numbers. Diophantine Approximation deals with the approximation of real numbers by rational
numbers, which can be viewed as a number theoretic form of definability. We will discuss connections
between these areas.