How Julia Robinson helped define the limits of mathematical knowledge