An Introduction to Formal Logic
Season 1
Ep 21. Logic and Mathematics
- TV-PG
- November 1, 2016
- 34 min
See how all that you have learned in the course relates to mathematics-and vice versa. Trace the origin of deductive logic to the ancient geometrician Euclid. Then consider the development of non-Euclidean geometries in the 19th century and the puzzle this posed for mathematicians.