There is much to be learned and pondered by reading "Proofs and Refutations," by Imre Lakatos. It highlights the importance of mathematical definitions, and how definitions evolve to capture the essence of the object they are defining. It also provides an exhilarating encounter with the ups and downs of the mathematical reasoning process, where…