12
votes
1answer
355 views

What underlies formal logic (or math, generally)?

I read a useful definition of the word understanding. I can't recall it verbatim, but the notion was that understanding is 'data compression': understanding happens when we learn one thing that ...
1
vote
2answers
185 views

Natural and formal languages

I'm going to have to take the course Logic for Computer Science at some point and everyone says both the book and the lectures are horrible. I'm looking for a book that covers the course material in ...
4
votes
2answers
323 views

Different standards for writing down expressions in a formal way

What are standard ways to write mathematical expressions in a (semi)formal way ? In different posts of mine concerning similar question I have encountered for a generic expression of the type "for all ...
1
vote
1answer
147 views

What exactly is “formal language theory”?

In studying combinatorics, I learn about "Formal Language Theory". So is there any interesting concrete application of this theory in mathematics, say for example combinatorics? (I confess, I google ...