Proofs and Refutations (source code)

= Proofs and Refutations
{wiki=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.