I have argued before that correctly speaking - in dynamic experiential terms - that all mathematical proof is subject to the uncertainty principle.
Thus it represents but an especially important form of social consensus that can never be absolute. In fact in certain terms such consensus can prove especially flawed.
Thus for a period in 1993, it was believed that that Fermat's Last theorem had been proved (only for a fatal flaw in reasoning later being discovered). Now the prevailing consensus since 1995 is that this remaining problem has been satisfactorily resolved. So as time goes by - with no further flaws being discovered - we can accept with an ever greater degree of confidence that Fermat's Last Theorem has been proven. However this conviction always remains of a merely probabilistic nature (that is necessarily subject to a degree of uncertainty).
At a deeper level I have challenged the conventional notion of mathematical proof in that it represents just one limited form of interpretation (where the qualitative aspect of understanding is necessarily reduced in quantitative terms).
More formally, in holistic mathematical terms conventional proof corresponds to a linear (1-dimensional) mode of qualitative interpretation (where again meaning is reduced in quantitative terms). However correctly understood we can have potentially an infinite set of mathematical interpretations (corresponding to all other dimensional numbers) where quantitative and qualitative aspects of interpretation - though necessarily related - preserve a distinctive aspect. And in the inevitable relative interaction between both aspects a degree of uncertainty necessarily exists.
So therefore a comprehensive proof requires both qualitative and quantitative aspects (that are necessarily relative). Conventional proof only appears therefore of an absolute nature because the qualitative aspect is entirely neglected.
However recently I have come to realise that there is yet another way in which the uncertainty principle necessarily applies to all mathematical proof.
As we have seen the Riemann Hypothesis represents the important starting axiom whereby the quantitative and qualitative aspects of mathematical understanding can be directly reconciled.
So the Riemann Hypothesis is already necessarily inherent in conventional mathematical aspects. Because of the reduced nature of understanding (where the qualitative aspect of truth is reduced to the quantitative), it is already assumed that if a theorem is proved in general (holistic) terms that it thereby necessarily applies to each individual case (within its class). So for example one we accept that the Pythagorean Theorem is true for the general case (establishing potentially that in any right angled triangle the square on the hypotenuse is equal to the sum of squares on the other two sides) that this necessarily applies in any actual case.
However this implies confusing the potentially infinite nature of the holistic general proposition with the actual finite nature of individual examples. In other words the qualitative aspect of understanding is reduced thereby to the quantitative.
Thus when we properly preserve the unique qualitative distinction of (potential) infinite and (actual) finite notions, we cannot in the absence of a higher authority as it were, automatically infer the truth of the specific from the corresponding truth of the general case.
Now acceptance of the Riemann Hypothesis is necessary to correctly make such an inference. However, as we have seen, because the Riemann Hypothesis supersedes conventional mathematical axioms it cannot be proved (or disproved) from a conventional mathematical perspective.
Therefore the acceptance that a general (qualitative) proof applies in specific (quantitative) terms is correctly based on the validity of the Riemann Hypothesis (which itself cannot be proved or disproved).
That means therefore that mathematical proof is ultimately based on an act of faith (and is thereby subject to uncertainty).
In the highly unlikely case that a non-trivial zero of the Riemann Zeta Function is ever found off the line (with real part = .5) this will pose an interesting dilemma.
We may be tempted to initially maintain that the Riemann Hypothesis has in fact been proven to be untrue.
However this would raise a much deeper problem. For if the Riemann Hypothesis is untrue, then we are no longer entitled to maintain the connection between an actual specific case and the general truth (for the potentially infinite case).
In other words we would no longer be entitled to infer that the demonstrated finding of our errant zero undermines the truth of the general proposition.
In fact it would be even much worse in that we would no longer be able to trust any proposition that has been proved in conventional terms.
So once again the mathematical edifice is ultimately dependent on a supreme act of faith (in the correspondence of infinite with finite notions).
For this reason anyone who believes in Mathematics should hope - and indeed pray - that no errant zero ever crops up for this would rightly undermine faith in the whole enterprise!