One of the great discoveries of 20th century mathematics was that any dispute about the validity of a mathematical proof can always be resolved. That is the case put forward by the English ...