UIC Graduate Student Seminar

Friday September 21
3:00 pm
636 SEO

Speaker: David Marker

Title: Mathematical Logic and Real Geometry

Abstract: Godel's Incompleteness Theorem tell us that there is no algorithm for deciding if a sentence about the natural numbers is true or false. In sharp contrast, Tarski showed that there is an algorithm for deciding the truth of senteces about the real field. Tarski's ideas and modern extensions have intersting applicaitons to real analytic geometry. I will give a broad survey of these ideas.