That being said, I would bet that one would be able to find other formalisms that are equivalent after kicking down the door...
At least, we’ve now hit one limit in the shape of universal computation: No new formalism will be able to do something that couldn’t be done with computers. (Unless we’re gravely missing something about what’s going on in the universe...)
At least, we’ve now hit one limit in the shape of universal computation: No new formalism will be able to do something that couldn’t be done with computers. (Unless we’re gravely missing something about what’s going on in the universe...)