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:
19-20. On non-denumerable graphs
18. Infinity of infinities
16-17. Ordinal numbers
15. On numbers
13 and 14. Well orders
12. Revision
11. Axiom of Choice
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
