Pages 7 and 8 of this essay contain a result about gravity that has been overlooked until now- namely that the undecidability of the homeomorphy problem applies to causal diamonds because they are compact 4-manifolds.
In other words, undecidability is imbedded in the equations of general relativity.