First, Heisenberg’s uncertainty principle set limits on what we could know about the subatomic world. Oh well, we say. None of us lives in a subatomic world. It doesn’t make any practical difference as we go through our lives. Then Godel’s theorem set similar limits to mathematics, the formal language of science. Mathematicians used to think that their language had some special inherent trueness that derived from the laws of logic.
