REGS: Logic and Mathematics
June 17 - August 9, 2013
Contact Information and Office Hours
Instructor: Philipp Hieronymi
The aim of the project is to study interactions of Logic with other branches of Mathematics. We will study fractal geometry and Cantor sets with the help of tools from Mathematical Logic. We may also consider connections with Diophantine number theory. The precise content will depend on background and interests of the students.
Lecture course: O-minimality, MWF 11am, by P. Hieronymi and S. Camacho.
For some background on the research done see the following video.
More details to follow soon.