4 ms·
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 c
by swayvil 4y ago
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.
- thomasahle 4y agoIn 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.
- Archelaos 4y ago> 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 https://en.wikipedia.org/wiki/Metamathematics
- mensetmanusman 4y agoSounds like the halting problem :)
- Bolkan 4y agoAbstractProofControllerFactoryImpl