In *The Mind’s Eye,* Daniel Dennett writes:

But now suppose we made a computer simulation of a mathematician, and suppose it worked well. Would we complain that what we had hoped for was proofs, but alas, all we got instead was mere representations of proofs? But representations of proofs are proofs, aren’t they? It depends on how good the proofs represented are. When cartoonists represent scientists pondering blackboards , what they typically represent as proofs of formulae on the blackboard is pure gibberish, however “realistic” these figures appear to the layman. If the simulation of the mathematician produced phony proofs like those in the cartoons, it might still simulate something of theoretical interest about mathematicians – their verbal mannerisms, perhaps, or their absentmindedness. On the other hand, if the simulation were designed to produce representations of the proofs a good mathematician would produce, it would be as valuable a “colleague” – in the proof producing department – as the mathematician. That is the difference it seems, between abstract, formal products like proofs or songs (see the next selection “The Princess Ineffabelle”) and concrete, material products like milk, On which side of this divide does the mind fall? Is mentality like milk or like a song?

If we think of the mind’s product as something like

control of the body,it seems its product is quite abstract. If we think of the mind’s product as a sort of special substance or even a variety of substances – lot ‘n lots oflove,a smidgin or two ofpain,someecstasy,and a few ounces of thatdesirethat all good ballplayers have in abundance – it seems its product is quite concrete (pp. 94-955).

Forget for a moment the question of what the product of the mind *really* is. Even if control of the body isn’t the only product of the mind, it is certainly an important one.

*really*understand mathematics, but he would agree that it could churn out proofs all the same. Or Roger Penrose might (though I am a little unsure of what Penrose would actually say here) claim that such a simulated mathematician would be impossible in principle to build. But I do not think Penrose would deny that

*if*you could build such a simulated mathematician, it would be able to do what Dennett says it could.

If that’s correct–and practical issues like building sufficiently powerful computer hardware can be worked out–the implications are potentially revolutionary. A simulated mathematician with a traditional hardware/software distinction in particular would be extremely valuable, because of both the ability to make copies and the ability to transfer the software to faster hardware.

Before you make any seemingly obvious objections to this, see here and here for correction of some misunderstandings that have cropped up. And maybe the idea of a simulated mathematician isn’t feasible. But assuming it is, is everyone on board with Dennett’s point above? It seems like a very important one, maybe one that seems too obvious to state explicitly, but not stating it explicitly makes it unclear if everyone accepts it.