On its first publication as a paper in The British Journal for the Philosophy of Science in 1963–4, Proofs and Refutations became highly influential on new work in the philosophy of mathematics, although few agreed with Lakatos' strong disapproval of formal proof.
Jeho první publikovaný článek v British Journal for the Philosophy of Science v roce 1963-4, Proofs and Refutations se stal velmi vlivný na nové práce ve filozofii matematiky, i když jen málo souhlasily s Lakatos silným nesouhlasem formálního důkazu.