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?