UIC Graduate Student Seminar
Friday September 21
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.