I have recently had an E-mail from Mr Evin Harris of Trinity College Dublin:
Dear Mr. Lucas,
I was wondering if you had come across Query 44 of George Berkeley's ``Analyst: A discourse addressed to an infidel mathematician"?.
It reads: ``Whether the difference between a mere computer and a man of science be not that one computes on principles clearly conceived and by rules evidently demonstrated, whereas the other [i.e a man] doth not?" Not bad for 1734!
Perhaps there is a hint of the Godelian argument in Berkeley too?