We discuss how physics and mathematics are in a similar situation. In mathematics we have no criterion to check with absolute certainty that mathematics is consistent. In physics we cannot conduct an experiment which determines any law of physics with absolute certainty. All we can do is to carry out experiments to test whether nature follow in one particular instance the laws of physics formulated by physicists. In fact we know that the laws of physics are incomplete, and therefore not fully correct, and could see a change of the laws of physics during the historical evolving of physics. Changes of the laws of physics did not affect most calculations made before, because these were thoroughly checked by experiments. The changes had to be made only in extreme cases (high speed, small distances). In the same way, we know by reverse mathematics that most mathematical theorems can be proved in relatively weak theories, and therefore would not be affected by a potential inconsistency which probably would make use of proof theoretically very strong principles. In both mathematics and physics we can carry out tests for the axiom systems used. In physics these tests are done by experiments and as well theoretical investigations. In mathematics this is done by looking for counter examples to theorems which have been proved, and by applying the full range of meta mathematical investigations, especially by proof theoretic analysis, normalisation proofs and the formation of constructive foundations of mathematics.

As the laws of physics are empirical, so are $\Pi_1$-theorems (phrasing it like this is due to an informal comment by Peter Aczel). As one tries in physics to determine the laws of physics and draw conclusions from them, in logic one tries to determine the laws of the infinite, and derive conclusions from those laws. We can obtain a high degree of certainty, but no absolute certainty, and still can have trust in the theorems derived.

In the second part we investigate informal reasoning about coinductive statements.

**The video for this talk should appear here if JavaScript is enabled.**

If it doesn't, something may have gone wrong with our embedded player.

We'll get it fixed as soon as possible.

If it doesn't, something may have gone wrong with our embedded player.

We'll get it fixed as soon as possible.