I tried asking “To what extent are we actually exchanging “stacks”? [closed] on the mathematics meta.
I’m not sure what I did wrong here. Aren’t we, as mathematicians, concerned with the accurate reproducibility of the mental objects that we produce? The precision of the language of mathematics should not be mythical or hearsay. If we can measure how precise the language that we are using, we can determine, quantiatively and metrically where there might be gaps in our understanding, rather than just puzzling about those gaps.