“The concept of a formal boundary, as exemplified by Bitcoin's 21 million supply cap, should be extended to the fields of physics and logic.”