Pioneers of progress : an anthology of the lives of eminent discoverers,