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?