"Proofs and Refutations: The Logic of Mathematical Discovery" - читать интересную книгу автора (Imre Lakatos, John Worrall, Elie Zahar)