Skip to main content
Post Made Community Wiki
Source Link
Ron Maimon
  • 921
  • 13
  • 23

Since this was resurrected, here is the statement that at this time seems to me to have the greatest gap between obviousness of truth and obviousness of proof:

  • There exists a natural set theoretic universe in which every subset of [0,1] is Lebesgue measurable, so that the reals admit no well order and do not inject into aleph-1.

Here are a different class of obvious theorems, these are only obvious in the sense of physical intuition. They took a long time to prove:

  • The existence of solid matter occupying space (in the lowest energy state, the electron-nucleus system occupies a volume proportional to the number of nuclei)
  • The positive energy theorem--- every asymptotically flat solution of GR obeying the appropriate energy condition has a positive mass at infinity, with zero mass only for Minkowski space.
  • Hard sphere collisions on a negatively curved space are ergodic.

Here is a physically obviously true statement, which can be seen from physical intuition, but which is not proven (as far as I know):

  • The asymptotic fate of GR with a positive cosmological constant is within any causal patch, and except for a set of initial conditions of measure zero, a deSitter space.

The reason this is obvious is because the deSitter space maximizes the horizon area, which is a measure of the entropy.