S. D. Ciletti > Recent Status Updates

Fantastic book. Bogle didn’t know about algorithmic information theory and so wasn’t able to express notions of simplicity as Kolmogorov complexity or randomness as Martin-Lof randomness, but it is clear he has come to an intuitive understanding of these very notions through experience in the market.

At some point someone should write a definitive formalisation of this thesis using the language of AIT.

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.