“Predicate is a long and unfamiliar word so I called it script”

By Jon Gulson on The Capital

The quixotic strangeness in the phrasing of Satoshi’s stipulation the bitcoin core design should support a wide variety of transactions without special support code so the script generalises transaction descriptions between peers as a predicate the network evaluates, evocates the design of a futuristic electronic brain formulated a half-century preceding and which decentralised control units in high-speed digital computing.

These evaluations made by the bitcoin network of propositions become true or false, and so Satoshi describes script as a predicate but is mindful of the familiarity.

The Uniqueness of Strong Solutions in Non-Cooperative Games

A non-cooperative game is described as not always having a solution, but where such solutions exist, they are understood to be unique and which gain strength from special properties.

Satoshi makes known his belief that a second implementation of bitcoin wouldn’t be a good idea — synchronizing with a game theoretical understanding of sub-solutions to non-cooperative games always existing but lacking in uniqueness.

The Problem Bitcoin Solves

The idea expressed for simplified programming requirements as important for the development of “the art” which appears in Parallel Control (1954) and for which has wide applicability is clearly resonant with Satoshi’s wish to support a “tremendous variety of transaction types” he admits to designing years ago.

These transaction types are described by Satoshi as including escrow transactions, bonded contracts, third party arbitration, and multi-party signature and is also stated one of the problems the bitcoin proof of work solves is determining representation in majority decision making, suggesting litigation latency.

It is described as an ultimate advantage in a parallel control machine that the interpretative capacity of a self-repairing program of computation ready for new problems would only need be represented once and with rapid accessibility to a large machine store compared to a collection of smaller units.

Manual Override in a Parallel Control Machine

Game theory distinguishes between games with solvability and strong solvability of a non-cooperative scenario to prove a theorem on the geometrical structure of the set of equilibrium points of a solvable game.

Parallel Control introduces a manual override in its design:

The design of the theoretical machine from the future concludes with observation the “human brain is a highly parallel set-up. It has to be”.

Raising the notion the manual override is an equilibrium point for the human brain and electronic brain in translation of the genealogically autonomous adjustment of a contract index.