>>7913
>Godel's Incompleteness Theorem
groundbreaking science usually has the property of producing very profound philosophical speculation, which in turn gets derailed by popular media and pseudo-scientific stretches.
in this case Godel's incompleteness theorem isn't science but a result in mathematical logic. I having studied it formally as a logician or mathematician, but I have become more familiar with it over the course of the last 5 years or so, specially after studying some computational theory. And I can tell you it is formulated in very precise terms, like any other mathematical theorem, which really doesn't leave room for speculation like that. At least not in an intellectually honest interpretation of it.
Godel's incompleteness theorem simply says that in first-order deductive/mathematical/symbolic/formal logic (also called propositional calculus) and higher-order logics, which are often required to define most of the mathematics we deal with, including common arithmetic, is an incomplete system in the sense that there are well-formed logical formulas and thus mathematical statements which can be proven neither true nor false. it's kind of mathematical fatalism because it also means that successful resolution and computation of problems is only guaranteed for restricted, less expressive forms of thinking.
The only attempt at formal definition of God I have seen is Godel's own ontological proof using modal logics, but Godel's incompleteness theorem doesn't say that no formula is possible provable or disprovable, only that some are. (there are actually infinitely many provable and unprovable statements, but if I recall correctly the unprovable ones are infinitely more than the other infinite). On the other hand, trying to apply Godel's incompleteness theorem to factual statements about the universe is philosophical crazy talk at best, not mathematical truth.