Given that I spend a lot of time programming computers and that I occasionally brainstorm my programs through flow-charts, I was shocked, upon realizing that flow-charts can easily be formalized as something Turing complete, by how long it took me to realize this. (Generalized: If I am able to regularly use a particular abstraction as a proxy for another abstraction, it makes sense to ask the question, “Are these two ideas equivalent?”)
Given that I spend a lot of time programming computers and that I occasionally brainstorm my programs through flow-charts, I was shocked, upon realizing that flow-charts can easily be formalized as something Turing complete, by how long it took me to realize this. (Generalized: If I am able to regularly use a particular abstraction as a proxy for another abstraction, it makes sense to ask the question, “Are these two ideas equivalent?”)