
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
