 Proofs and Refutations is a highly original production. The issues it discusses are far removed from what was then standard fare in the philosophy of mathematics, dominated by logicism, formalism and intuitionism, all attempting to find secure foundations for mathematics. Its theses are radical. And its dialogue form makes it a literary as well as a philosophical tour de force.