Question in consideration: Mathematics as several Type-0 Grammars
I've asked the question above because I've been trying to understand the way mathematicians do mathematics from a formalist perspective.
I'm soon to do my thesis, and I really like the concept of formal grammars, formal languages, etc. It's very likely that I will have the chance to do my thesis about this stuff and so I want to iron out some misconceptions about it that I might have.
Unfortunately for me, this question was closed as being opinion based.
I provided some context along the question to help the possible answerer understand my level of understanding - I also provided a link to something called an "Infinitary Logic" that would provide as a possible counterexample to my ideas. I also explained why I think it's not a counterexample of my ideas.
I really want some kind of closure for this question, perhaps I could have reworded it better or split it up into smaller questions.
Furthermore, I received which I assume is a well-meaning comment about how my description of mathematics is a "cartoon version" of actual mathematics. It'd be great if this were the case, but looking back at all the mathematics that was taught to me - I just don't see it.
Any constructive criticism is welcome, please don't hold back.