"Доказательства и опровержения: как доказываются теоремы" - читать интересную книгу автора (Лакатос И.)