"Proofs and refutations: the logic of mathematical discovery" - читать интересную книгу автора (Imre Lakatos, John Worrall, Elie Zahar)