> any kind of theorem or idea communicated to another mathematician needs to be serialized into language which would make it computable Are you aware of how li

> any kind of theorem or idea communicated to another mathematician needs to be serialized into language which would make it computable Are you aware of how little of modern mathematics has been formalised? As in, properly formalised on a computer. Not just written up into a paper that other mathematics can read and nod along to. Mathematics might seem very formal and serialised (and it is, compared to most other human endeavours) but that’s actually quite far from the truth. Really, it all exists in the mind of the mathematician and a lot of it is hard, if not currently impossible, to pin down precisely enough to enter into a formal system. I think you probably do understand some things ‘transcendently’! Almost by definition they’re the things you’re least aware of understanding.