S. D. Ciletti’s Reviews > From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 > Status Update
S. D. Ciletti
is on page 102 of 680
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.
— Oct 18, 2025 02:39AM
Like flag
S. D.’s Previous Updates
S. D. Ciletti
is on page 97 of 680
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?!”
— Oct 10, 2025 04:25AM
