His theory intrigues me.
Can computers heighten our reality, though?
Take a simple logical algorithmic computer model, for example. You know that it's technically correct and can never be wrong as far as our human minds have thus far been able to calculate. Given that the computer is physically sound, a computer has the advantage of not only being able compute faster but also not prone to sensory distractions.
Take examples in color theory, chaos theory, ect. that have been proven by the computer. We have been given proven new information that would have taken humans months, years in some cases, to figure out and can only respond in a "Ahhh, so that's how it's done!" sort of way. This, in turn, provides a springboard to new directions of research (thought?) not previously available to us. Are we now outside the box Godel desribed?
Were we ever limited in the first place?
What would that limit be?