2 ms·
Everyday language is an entirely different thing. I don't think we can "serialize" maths at a speed of 3 symbols per second. I also think your OP is quite wron
by tgv 4y ago
Everyday language is an entirely different thing. I don't think we can "serialize" maths at a speed of 3 symbols per second.
I also think your OP is quite wrong. What (s)he calls serialization, is attempting to formulate and test an idea in a "proof language", where a successful and correct string determines the validity. A normal sentence has an entirely different use. Math is (much) more like programming than speaking.
- kevinventullo 4y agoThat said, much of modern mathematics is still fairly informal, with “the proof is left to the reader” implicitly showing up in nearly every written sentence for the sake of brevity.