The closest GIT gets to being relevant is that some mathematical universes exist (or 'exist') that cannot be proven to exist. Alternatively - since Godel's Inco

The closest GIT gets to being relevant is that some mathematical universes exist (or 'exist') that cannot be proven to exist. Alternatively - since Godel's Incompleteness Theorm is the same thing thing as the Halting Problem - some simulations that can't be proven valid (ie that each step of the simulation halts) are nonetheless valid.