Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Geometry pictures are absolutely not "rigorous definitions". For 1 thing, pictures of lines aren't finite in extent, and pictures of points are finite in extent.

Some of Euclid's proofs are wrong, because they relied on those non-rigorous picture definitions.

* Book I, Proposition 1 (constructing an equilateral triangle)

* Book I, Proposition 4 (Side-Angle-Side triangle congruence).

* Multiple theorems throughout the Elements rely on the visual "betweenness" of points.



Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: