Beyond Godel

23 Pages Posted: 28 Mar 2018

See all articles by Craig S Wright

Craig S Wright

nChain; University of Southern Queensland - University of Southern Queensland, Students; Leicester Law School

Date Written: March 23, 2018


In this paper, we start by defining the basic predicate systems used by Gödel in his logical constructions for the creation of a system of computable mathematics. We demonstrate how each of these predicates and the primitive recursive functions can be mapped directly into bitcoin script operations. This is then extended to explore the dual stack 2PDA construction within bitcoin. In this paper we use this extension to demonstrate how the integration of these functions across a dual stack push down automata (2PDA) allows us to create a system that is equivalent to a Turing machine and which can hence handle all grammatical constructs that may be processed within a Turing machine. The function and operation of the bitcoin operational codes and the construction of the stacks leads to different operational conditions than a standard Turing machine, however, it is also noted how this differs from a standard modern registered machine in operation. Ignoring stack limitations we can then see that any computable function may be integrated into operation and solution within bitcoin scripts.

Keywords: Bitcoin, Turing Machines, Unrolled recursion

Suggested Citation

Wright, Craig S, Beyond Godel (March 23, 2018). Available at SSRN: or

Craig S Wright (Contact Author)

nChain ( email )

United Kingdom

University of Southern Queensland - University of Southern Queensland, Students ( email )

Toowoomba, Queensland

Leicester Law School ( email )

University Road
Leicester LE1 7RH, LE1 7RH
United Kingdom

Do you have a job opening that you would like to promote on SSRN?

Paper statistics

Abstract Views
PlumX Metrics