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: