How can we do mathematics if we have no objective measure of the precision of the language we use to do mathematics in.

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.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s