Proofs and Refutations

"Proofs and Refutations" is a philosophical and mathematical work by the British mathematician and philosopher Imre Lakatos, first published in 1976. The text is framed as a dialogue between a fictional mathematician and his students, exploring the nature of mathematical reasoning and the development of mathematical knowledge.