I actually don't disagree with any of this, as far as I understand what you're saying. >> The point of what I was saying was to refute the idea that somehow ou

I actually don't disagree with any of this, as far as I understand what you're saying. >> The point of what I was saying was to refute the idea that somehow our programs are so complex and have such amazing behaviour that they will not be reducable to a core set of rules. If the programs run on a computer they must be computable and thus reducable to a core set of rules. That's it. Considering a piece of software as a mathematical construction -- let's say, for instance, a C++ program compiled by the LLVM, and the LLVM bytecode expressed as machine instructions for the given chip, reduced to pure binary math, I totally agree with this.