MathFoundations 18: Geometry – YouTube
MathFoundations 18: Geometry – YouTube.
How to begin geometry? What is the correct framework? How to define point, line, circle etc etc?
These are some of the issues we will be addressing in this first look at the logical foundations of geometry.
This lecture is part of the MathFoundations series, which tries to lay out proper foundations for mathematics, and will not shy away from discussing the serious logical difficulties entwined in modern pure mathematics. The full playlist is athttp://www.youtube.com/playlist?list=…