An Opinionated Guide to Computability and Complexity
I'm going to write a lot about computability and complexity, but the focus of the sequence is what machines are out there to compute different objects, to rank them, and in particular to focus on what computability and complexity finally to explain what problems we can solve in practice.
Along the way, I'll be making commentary and interacting with the subject, and I definitely will be making a post about a paper by Aaronson on what complexity theory adds to philosophy, as well as critique it and make it interesting and interactive.