Louise Hay Logic Seminar
Fanxin Wu
UIC
Synthetic and analytic geometry are equivalent
Abstract: We discuss the equivalence between synthetic (aka axiomatic) geometry and analytic (aka coordinate) geometry, proved by Hilbert using segment calculus, and some related results. The main step is to construct a field out of an abstract model of geometry. The construction is mostly algebraic and has little to do with logic.
Thursday December 2, 2021 at 4:00 PM in 636 SEO