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.