4 ms·
You kind of just described the language faculty as well.
by NoToP 4y ago
You kind of just described the language faculty as well.
- tgv 4y agoEveryday 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.