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.
Με την πρώτη του δημοσίευση ως εργασία στο The British Journal for the Philosophy of Science (1963-4) το Αποδείξεις και ανασκευές άσκησε μεγάλη επίδραση στη σκέψη πάνω στη φιλοσοφία των μαθηματικών, παρότι λίγοι συμφωνούσαν με την ισχυρή αποδοκιμασία από τον Λάκατος της τυπικής αποδείξεως.