• Are problems with more (alternating) quantifiers more difficult?

  2026-04-04 mathcomp

  An idle thought: does the “difficulty” of proving a statement increase with its quantifier complexity?

• A nice diagonalization proof

  2026-01-25 math

  We know from Cantor’s Theorem that the cardinality of the power set $P(X)$ of a set $X$ is strictly greater than the cardinality of the set $X$, a theorem Cantor proved using a beautiful diagonal a...

• Some additive number theory

  2026-01-17 math

  Aleksandr Ya. Khinchin’s clear and engaging style displays Three Pearls of Number Theory in the best possible light. In this 1945 letter sent to a former student, he carefully explains how to use e...

• One stop hop: computer science & security resources

  2026-01-17 comp

  As a companion to our general mathematics resources page, here is a collection of resources for computer science and cybersecurity. We intend to update this list over time.

• Welcome to our b(l)og: general math resources

  2026-01-16 math

  We have benefited tremendously from the wisdom and tools freely shared by experts online and wished to use our first substantive post as a tribute to those resources that remain. Many pages have pr...