Definition
The philosopher Imre Lakatos, who argued that math advances through repeated cycles of conjecture, counterexample, and revision.
Imre Lakatos, philosopher of mathematics whose Proofs and Refutations framed mathematical knowledge as advancing through dialogical cycles of conjecture, criticism, and reformulation.