No, it means I think a human mathematician is capable of working within a formal structure by following the rules of that formalism. It's a way of saying that h

No, it means I think a human mathematician is capable of working within a formal structure by following the rules of that formalism. It's a way of saying that humans can do formal math. Of course you are correct in suspecting I do assume the human mind is a machine, because we have seen zero evidence that it's not the case, but that's not in any way part of the sentence you quoted.