Mathematical tower of Babel (MdCŚ):
Latest posts:
Is mathematics consistent?
Completely about infinity
Axioms, axioms, axioms
Decidable and Turing languages
Bounded Turing machines — about context sensitive languages
Grammars — about context-free languages
Automata — about regular languages
Prologue to the book of languages
