Post's Theorem And Blockchain Languages: A Short Course In The Theory Of Computation

Russell discusses whether or not Turing-Complete languages are appropriate for doing computations on blockchains and how much expressiveness is lost in non-Turing complete languages, like Bitcoin Script.