A Proof of Turing Completeness in Bitcoin Script.

Craig S. Wright

Published in: IntelliSys (1) (2019)

Keyphrases

credit card
machine intelligence
linear logic
search algorithm
data quality
mathematical proofs
database
image processing
evolutionary algorithm
knowledge representation
theorem prover
turing machine
automated theorem proving
natural deduction
proof theory
complete axiomatization