Stephen Mackereth is a Postdoctoral Fellow in the Dartmouth Society of Fellows, affiliated with the Department of Philosophy. He received his PhD from the University of Pittsburgh in 2024. He works on logic, philosophy of mathematics, and the history of analytic philosophy. More specifically, he has written about neo-Fregean logicism, Gödel's Dialectica translation, and theories of truth. His research interests flow from an effort to understand the great foundational debate in mathematics between logicists and constructivists at the turn of the twentieth century. He enjoys thinking about logical and semantic paradoxes; about the notions of proof, truth, computation, and definition; and about the nature and role of foundations in mathematics.