It sounds like we agree - programs aren't theories. Something else is required that relates the program to the real world. Note: you could have a programming l

It sounds like we agree - programs aren't theories. Something else is required that relates the program to the real world. Note: you could have a programming language whose semantics specify a proposed relationship to reality, just as we posit such relationships in natural language. But most programming languages don't allow such things.