famous Charles Babbage quotes