The missing formal science of machine intelligence
A field can be empirical, disciplined, and technologically powerful without yet possessing a formal science of its own objects.
In our quest for knowledge and understanding, is it reasonable to expect intelligibility?
What a theory of reasoning with the epistemic profile of quantum mechanics might look like.
Does formalizing reasoning require new mathematics?
What the history & philosophy of math can teach us about the path to superintelligence.