Update

Howdy! Things have largely calmed down on the life front. Stuff is still busy but it’s not impossible to cope anymore. I’ve also made this project easier. Obviously my first plan was a little over-ambitious. Now I’m just going straight for the CTMU with a little supplemental information theory and model theory, grabbing what else I need as I need it. Just trying for six non-zero days per week and seeing where I land with some consistency.

It’s definitely interesting to write about these sections. I’ve read most of the major papers multiple times but actually writing about them and working through them yourself just hits different. Hopefully these earlier sections go quick and we can get to the more interesting stuff later. I’m not going to rush it but 4.6 is where things really get interesting with the CTMU. Hopefully I can also  make it through the rest of the major papers before the year is up.

As I said I’m also going through some supplementary information theory and model theory. I’m doing them together on purpose because of a comment made in section 4.6.12 that information theory is due for the same extensions that ultimately turn propositional logic into model theory. I won’t do this at the expense of sections but with any luck I can start to piece together those extensions in a more mathematical way. All interesting stuff.

Anyway, let me know what you think if you like, there are more people who read this than I would’ve thought.