Dowody i refutacje. Logika odkrycia matematycznego - Imre Lakatos

Wydane pośmiertnie Dowody i refutacje mają po większej części formę dialogu – grupa studentów usiłuje dowieść wzoru na charakterystykę Eulera powierzchni w topologii algebraicznej. Celem dialogu jest przedstawienie historycznych prób dowodu wzoru traktowanego jako hipoteza, które każdorazowo są obalane przez kontrprzykłady. W trakcie prac studenci przywołują cytaty znanych matematyków, a zwłaszcza Cauchy’ego.