Fanxin Wu : Synthetic and analytic geometry are equivalent

Posted by Fanxin Wu , part of the Louise Hay Logic Seminar.

At

Dec. 2, 2021, 4 p.m.

In

636 SEO

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.