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
Journey to the Island of Knights and Knaves
Seminar for high school students:
Latest posts:
10. Measures
9. Axioms of Set Theory
7. Introduction to graph theory
6. and 8. Proofs from the Book — pigeon hole principle
5. Cardinalities of sets and infinity
4. Functions
3. Relations
2. Introduction to combinatorics
