Οι "Αποδείξεις και ανασκευές" είναι θεμελιώδες ανάγνωσμα για όσους ενδιαφέρονται για τη μεθοδολογία, τη φιλοσοφία και την ιστορία της μαθηματικής επιστήμης. Το βιβλίο έχει τη μορφή διαλόγου ανάμεσα σε έναν καθηγητή και τους μαθητές του, με τον οποίο προτείνονται διάφορες λύσεις σε ορισμένα μαθηματικά προβλήματα και εξετάζεται η ισχύς και η αδυναμία των προτεινόμενων λύσεων. Από τη συζήτηση προκύπτουν ορισμένα φιλοσοφικά προβλήματα και προβλήματα σχετικά με τη φύση της μαθηματικής ανακάλυψης και δημιουργικότητας.
Ο Imre Lakatos μάχεται την κλασική αντίληψη ότι η μαθηματική ανακάλυψη είναι η σταθερή συσσώρευση καθιερωμένων αληθειών. Αποδεικνύει ότι τα μαθηματικά αναπτύσσονται με μια πλουσιότερη, συγκλονιστική διαδικασία διαδοχικών βελτιώσεων των δημιουργικών υποθέσεων, με τις προσπάθειες να τις "αποδείξουμε" και με την κριτική θεώρηση των εν λόγω προσπαθειών : με άλλα λόγια, με τη λογική των αποδείξεων και των ανασκευών.