New posts in Formal Languages

In what sense is $\sf ZFC$ "stronger" than Peano arithmetic?

Doubt about Empty Set's definition as a Set.

GEB: How to write "b is a MIU-number" in TNT notation

What is the difference between a shuffle and a permutation?

Complement of regular language is regular

What's the point of allowing only quantification of variables in first-order logic.

Words built from $\{0,1,2\}$ with restrictions which are not so easy to accomodate.

pumping lemma: ww^R not regular

Can We Represent Every Real Number Using Only Finite Memory?

What underlies formal logic (or math, generally)?