One statement of this philosophy is the thesis that mathematics is not created but discovered. A lucid statement of this is found in an essay written by the British mathematician G. H. Hardy in defense of pure mathematics.