Harvard Logic Colloquium: Theodore Slaman


Thursday, November 3, 2016, 4:00pm to 6:00pm


Logic Center, Room 420, 2 Arrow Street

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.