Re: Understanding Godel Incompleteness on Bitcoin

According to the Curry-Howard correspondence, there is an isomorphism between programs (algortihms) and proofs.

algorithms are proofs. nothing shocking about that i guess. algorithms prove how to solving a problem.