Review of P r o o f s a n d R e f u t a t i o n s 5 A u t h o r of Book: Iiare Lakatos P u b l i s h e d by Camb rid g e University Press 174 pages, $27.95 A u t h o r of Review: William Gasarch (gasarch@cs.umd.edu) What is t h i s b o o k a b o u t ? T h e following questions have b e e n raised by some philosophers of m a t h e m a t i c s . 1. W h e n is a s t a t e m e n t considered true? 2. W h a t are t h e s t a n d a r d s of rigor? Are t h e y absolute? 3. Is c e rt a i nt y possible? 4. W h e n is a s t a t e m e n t considered interesting? T h e formalia~s believed t h a t rigorous proof from axioms c o n s t i t
/lp/association-for-computing-machinery/review-of-proofs-and-refutations-author-of-book-imre-lakatos-PESsAFW1Tk