Dowody i refutacje to tytuł arcydzieła Lakatosa. Autor posługuje sie historią jako środkiem, na którym opiera się przesłanie: także matematyka, podobnie jak nauki przyrodnicze, jest omylna i podlega wahaniom. Zamiast przedstawiać symbole i reguły wnioskowania, pokazuje istoty ludzkie, nauczyciela i jego uczniów. Przez piętnaście lat był to rodzaj podziemnej klasyki dla matematyków, znanej tylko niewielu nieustraszonym duchom P.J. Davies i R. Hersh