Computer Science/Discrete Mathematics

The development of set theory in the 20th century was like the invention of a "mathematical telescope", through which we can observe all kinds of infinite sets and their interactions. In quite the opposite direction, bounded arithmetic serves as a...

What is the relative computational power of time and space? Tree evaluation (TreeEval) has become a central problem in understanding this question, especially after its application by Williams (STOC 2025, IAS CSDM seminar 9/23/25) to prove a...