Reverse Mathematics for Teaching Theoretical Computer Science

This poster explores the integration of Reverse Mathematics (RM) as an innovative educational approach for teaching Theoretical Computer Science (TCS) at the university level. Beginning with a historical perspective, from Euclidean reasoning to Turing's limits, it situates RM within the broader landscape of TCS education. Through a concrete classroom activity, this work illustrates how RM fosters computational thinking, sharpens formal awareness, and bridges the gap between algorithmic implementation and logical justification. By encouraging students to reflect on the axiomatic principles required to validate algorithms, RM enables them to reason critically about constructive mathematics of computation, proof theory, formal logic and program verification. The poster concludes with a discussion of related work, preliminary teaching results, ongoing research, and initiatives toward curricular integration.