Not responding to Hal, just contributing to the thread . . .
Mathematical modelling of the physical world is bound to have a "faith" component. I'm not talking about an Old Man With A Beard, or the Flying Spaghetti Monster.
Suppose there is an isomorphism between a complete mathematical model, and the physical laws of the universe. Then by Gödel's Incompleteness Theorem, our mathematical model must have unproveable truths, and this would, by our isomorphism, mean that the real world must also have unproveable truths - i.e. things that must be taken on "faith".
Mac since 1984, Apple since 1978 MacBook Pro, iPhone 5, MacBook (in living room for iTunes and searching for recipes), iPad
