Among the most fascinating results of mathematics are unprovability theorems, that is, rigorous proofs that certain statements cannot be deduced from certain axioms. A very famous example is Paul Cohen's demonstration that the continuum hypothesis cannot be deduced from the ZFC axioms . For this, Cohen invented a technique known as forcing, which is far too advanced for a page like this. (Indeed, I am incapable of presenting it anyway - if you are curious you could try visiting this site for some notes on forcing. They seem all right, but I don't know enough to be able to judge with any confidence.) Instead, I shall present here a few examples of low-level unprovability theorems, by which I mean purely mathematical results that, in one way or another, tell us that proofs of certain theorems must necessarily have certain properties. Such conclusions I shall loosely refer to as metamathematics.

@article{MathematicsWithAMetamathematicalFlavour,
title = {Mathematics with a metamathematical flavour. },
abstract = {Among the most fascinating results of mathematics are unprovability theorems, that is, rigorous proofs that certain statements cannot be deduced from certain axioms. A very famous example is Paul Cohen's demonstration that the continuum hypothesis cannot be deduced from the ZFC axioms . For this, Cohen invented a technique known as forcing, which is far too advanced for a page like this. (Indeed, I am incapable of presenting it anyway - if you are curious you could try visiting this site for some notes on forcing. They seem all right, but I don't know enough to be able to judge with any confidence.) Instead, I shall present here a few examples of low-level unprovability theorems, by which I mean purely mathematical results that, in one way or another, tell us that proofs of certain theorems must necessarily have certain properties. Such conclusions I shall loosely refer to as metamathematics. },
url = {https://www.dpmms.cam.ac.uk/{\~{}}wtg10/metamathematics.html},
year = {},
author = {Timothy Gowers},
comment = {},
urldate = {2020-10-16},
collections = {about-proof,the-act-of-doing-maths}
}