Originally Posted by
Chronos
There are analogues to Gödel's theorem (and the Halting Theorem and other related theorems) for finite systems, though. What it fundamentally comes down to is that even though a part of a system can, to a degree, model the whole system, and a system can sometimes completely model a smaller system, no system, whether finite or infinite, can completely model itself. And we, the ones who are doing the modeling, are a part of the entire Universe.