Comments by "John Warner" (@johncrwarner) on "The Math Sorcerer" channel.

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
A few things chimed with me in this video 1) as a student I often took breaks from problems I was working on Quantum Mechanical analysis of chemical reactions and often needed to take breaks and just accept that that was how it was. Two side notes on this: a) I always had a regular sleeping schedule even when I had a work crisis b) I kept and still keep paper and pen by my bed as I have "solved" some problems and woken up and written them down. 2) in my masters course - I ended up doing a lot of finding mistakes in papers I unofficially called my master's thesis - finding and recovering from typos 3) As the equivalent of a US high school teacher in Britain I introduced a lot of students to calculus and it was and is fascinating to what what the triggers for the ideas to click I developed an armoury of approaches to everything from early calculus to long multiplication so there was no single method to do something.
3
@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
I started learning programming in an after school club where we were allowed to punch cards and submit Fortran programmes to the local University mainframe. This was in the 1970s - I learnt C, C++ and Smalltalk but as a hobby I have been learning Lisp for the intellectual interest. Plus I have encountered a language called Lua and its Lisp cousin fennel where it takes Lisp like material and converts it to Lua.
1