Harvard Logic Colloquium: Theodore Slaman
Date and Time
November 3, 2016
04:00PM - 06:00PM EDT
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.