> My belief is that the quest to find a unified physics that describes everything is provably impossible due to Godel's theorem.
To be precise: it tells us that it's not generally possible to build a complete consistent model, but it may still be possible in specific cases, like our universe. My hunch is that such a model does exist, that we will find it, and further, that it will actually be rather elegant. We'll never be able to prove we've found it though, because we only have partial information— if we were running on a virtual machine, is the host system running Linux or BSD?
To be precise: it tells us that it's not generally possible to build a complete consistent model, but it may still be possible in specific cases, like our universe. My hunch is that such a model does exist, that we will find it, and further, that it will actually be rather elegant. We'll never be able to prove we've found it though, because we only have partial information— if we were running on a virtual machine, is the host system running Linux or BSD?