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.
Adequacy v. intelligibility, or why mathematical formalisms of quantum are a precedent
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.