Not OP but I think they are making a slightly different claim — that the univers...

		rdtsc 73 days ago \| parent \| context \| favorite \| on: Mathematicians disagree on the essential structure... Not OP but I think they are making a slightly different claim — that the universe sort of dictates or guides the mathematical structure we discover. Not whether they hold everywhere or not.