Jatin rated Proofs and Refutations: The Logic of Mathematical Discovery: 4 stars Jan. 14, 2020 Public Proofs and Refutations: The Logic of Mathematical Discovery by Imre Lakatos