People
Arthur B.

Arthur B. Quotes

Total quotes: 1

Arthur B.

Birthname

AKA: Arthur Davies, Arthur McDonald

Educated At: Art Students League Of New York, California Institute Of Technology, Dalhousie University

Nationality: United States Of America, Canada, Canadasss

Occupations: Painter, University Teacher, Physicist, Astrophysicist

Total quotes: 1

“But overall, whenever a programmer writes a program, they generally keep a vague outline of a proof of correctness in their head. Sometimes that proof is incomplete or wrong — humans are fallible — but it always guides the writing.”

— Arthur B., Smart contracts: Turing completeness & reality

Tagged: Smart Contracts, Blockchain, Programming

loading next page...