Comments by "John Warner" (@johncrwarner) on "The Forgotten Math Subject" video.

I remember reading a book called "Gödel's Proof" by Nagel and Newman. I bought it in Heffer's in Cambridge when I was seventeen It used the three geometries Euclidean, hyperbolic and spherical as analogies for axiomatic systems. Spherical geometry was barely mentioned but that was my only contact with it. 43 years ago.
4
@thelonegerman2314 No in the book which I still have on two pages in this thin popularisation of Gödel's Proof in the chapter on "The Problem of Consistency" There is reference to Riemannian geometry being reducible to the geometry of a Euclidean sphere. I in my seventeen year old mind see that as spherical geometry. I recommend reading the book it is short and clear explanation of Gödel's Proofs.
1
@thelonegerman2314 No I mean the reduction of non-Euclidean geometry to Euclidean via spherical Euclidean geometry. The book isn't even 100 pages long and aimed at the general public. It referenced spherical Euclidean geometry and that was my sole encounter with it.
1