Smart contracts on blockchains will incentivize the development of more user friendly formal proof systems that even support proofs that require very large cardinals such as n-huge cardinals.
-
-
-
Soon mathematicians will develop smart contracts that are specifically designed to issue new tokens or give coins to entities who advance mathematics. But to do this completely and properly, there must be an efficient formal proof system on the blockchain.
- 6 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.