I can attest by spot-checking for small N that even most mathematicians have not been exposed to this idea.
I can testify that in differential geometry, almost nobody knows this idea (I certainly didn’t back in that part of my career). But also nobody really thought as proofs as meaningless symbol manipulations; the models in geometry are so intuitively vivid, it feels you are actually exploring a real platonic realm.
(that’s why I found logic so hard: you had to follow the proofs, and intuition wasn’t reliable)
I can testify that in differential geometry, almost nobody knows this idea (I certainly didn’t back in that part of my career). But also nobody really thought as proofs as meaningless symbol manipulations; the models in geometry are so intuitively vivid, it feels you are actually exploring a real platonic realm.
(that’s why I found logic so hard: you had to follow the proofs, and intuition wasn’t reliable)