Lakatos’un başyapıtı Kanıtlar ve Çürütmeler; yirminci yüzyılın ikinci yarısında matematik felsefesi üzerine yazılmış en önemli eserlerden biridir. Özellikle farklı farklı araştırma alanlarından yaklaşıldığında Kanıtlar ve Çürütmeler, felsefi manada okura büyük açılımlar sunabilmektedir. Matematik felsefesinde, geometrik topolojinin, analizin ve kombinatoriğin bu kadar doğal ve akışkan bir şekilde iç içe girdiği başka bir metin bulmak zordur. Lakatos’un, konunun matematiksel ayrıntılarına olan hakimiyetiyle birlikte okuru sıkmadan, felsefi bir yaklaşımla okura sunmuştur.