The Problem of Modelling the Mathematical Mind