Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness
On Computable Numbers, with an Application to the Entscheidungsproblem.