Science has some well-known limitations. Science works by studying problems in isolation. This is very effective at getting good, approximate solutions. Problems outside these artificial boundaries are generally not addressed. The consistent, formal systems of symbols and mathematics used in science cannot prove all statements, and furthermore, they cannot prove all TRUE statements. Kurt Gödel showed this in 1931. The limitations of formal logical systems make it necessary for scientists to discard their old systems of thought and introduce new ones occasionally. Newton's gravitational model works fairly well for everyday physical descriptions, but it is not able to account for many important observations. For this reason, it has been replaced by Einstein's general theory of relativity for most celestial phenomena. Instead of talking about gravity, we now are supposed to talk about the curvature of the four-dimensional time-space continuum. Scientific observations are also subject to physical limits that may prevent us from finding the ultimate truth. The Heisenberg Uncertainty Principle states that it is impossible to determine simultaneously the position and momentum of an elementary particle. So, if we know the location of a particle we cannot determine its velocity, and if we know its velocity we cannot determine its location. Jacob Bronowski wrote that nature is not a gigantic formalizable system because to formalize it we would have to make some assumptions that cut some of its parts from consideration, and having done that, we cannot have a system that embraces the whole of nature.
