# How detailed does a proof have to be and is the format constrained to text and equations?

Given that somebody claims a proof to a problem and you ask 100 highly qualified mathematicians whether this proof is valid, will they all agree that it's valid or all claim it's invalid?

In other words, is a chain of logic unique and pure? Or is it like the law where when you present very convincing evidence in a court case, there could still be some doubt? Is there some set of rules that make a proof unique and universally understood by a machine?

You could present a proof at the most extreme detail and go into the most fundamental axioms of mathematics, or you could skip key points and just say "clearly, this and that is the case".

My second question is with respect to the format. I always see proofs with text and equations, but you also instead show a graph or a truth table or a drawing. Do illustrations also qualify as proofs (if they are presented in isolation)?

• Friedman's finite form of it can be proven for each $n$ in Peano Arithmetic, but the shortest possible proof grows impossibly fast, so you wouldn't be able to verify such a proof in a purely mechanical way. – Ben Millwood Mar 27 '14 at 18:32
• But the verification is still "efficient" (i.e. polynomial in the input); in this case you are looking at a family of proofs that grow very fast. Presumably the verification is not much harder than the length of the proof (which itself grows super-exponentially as a function of $n$). – Mario Carneiro Mar 27 '14 at 19:04