>I don't need to comment, and neither do you. We're both just silly people talking about things that we don't understand, because our egos won't let us not say

>I don't need to comment, and neither do you. We're both just silly people talking about things that we don't understand, because our egos won't let us not say anything. This reply made me laugh. You get 10 points for self-awareness, and a free beer if we ever meet. Because ego (under the guise of Philosophy), I feel the need to point out that if Mathematics is just a language (an idea we both seem to be agreeing with) then you can't ignore the fact that it falls under the Chomsky Hierarchy. So whether Mathematicians need to study Formal Language Theory, or Formal Language Theorists need to study Mathematics is really just a stand-off between finitists and infinitists Philosophers. And even more precisely than that - it's a stand-off between people who believe in Time and feasibility (computer scientists) and people who don't care about such details (Mathematicians). Obviously (because I am a finitist, and therefore all infinitists are wrong - according to my ego errr.. I mean Philosophy ) I shall post a paper that agrees with me. "Confessions of an Apostate Mathematician" by Edward Nelson https://web.math.princeton.edu/~nelson/papers/rome.pdf https://web.math.princeton.edu/~nelson/papers/rome.pdf