Date:
Thursday, November 3, 2016, 4:00pm to 6:00pm
Location:
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.
See also: Harvard Logic Colloquium