S. D. Ciletti > Recent Status Updates

Re reading

So it was Dedekind’s idea to formalise the construction of the Naturals as the intersection of every natural number sequence starting with 1. The idea in its simplicity is so beautiful.

I will eventually circle back to this. Despite the fact that it is 700 pages and details fundamental innovations in logic, it is nevertheless light reading, except for Frege’s notation which so contrived (I don’t say abstruse) as to be comedic. I can imagine introducing Frege to \forall and \forsome and him thinking “oh fuck that it is simple, what the hell was I doing?!”

Need to re-read Part II before putting this away for good.