The uncompromising ethos of pure mathematics in the early post-war period was that any theorem should be provided with a proof which the reader could and should check. Two things have made this no longer realistic: (i) the appearance of increasingly long and complicated proofs and (ii) the involvement of computers. This paper discusses what compromises the mathematical community needs to make as a result.
One contribution of 13 to a Discussion Meeting Issue ‘The nature of mathematical proof’.
- © 2005 The Royal Society