Just as Godel's Incompleteness Theorem imposes basic limitations on our ability to completely capture mathematical truth, so recent work concerning relative Turing computability suggests that scientific observation may be subject to equally fundamental theoretical constraints in its capacity to define the physical universe. Relative computability is one of a handful of truly fundamental mathematical relations。