[swayvil]

Would it be possible to create a proof of a proof?

Like : Given this list of assumptions -- This list of conclusions is proven to be true.

Maybe even with a confidence rating.

Then you could package your proof inside the proofproof. Thus sparing us the effort of reading it, and maybe even make your proof more widely appreciated.

[Archelaos]

> Would it be possible to create a proof of a proof?

The sub-discipline of mathematics that deals with this is called "metamathematics". For a start see https://en.wikipedia.org/wiki/Metamathematics

[thomasahle]

In principle you could provide what's called a Probabilistically Checkable Proof. This would be a long string of bits, and a verifier would only have to sample 3 random bits to check the validity of the whole thing.

In practice we don't even make "normal" machine checkable proofs. They are just too much work. Maybe in the future when the machines are better at understanding us.

[Bolkan]

AbstractProofControllerFactoryImpl

[mensetmanusman]

Sounds like the halting problem :)