Adam is a logician with a background in Foundations of Mathematics and Methodology of Science, with degrees from Princeton and Carnegie Mellon Universities. His research interests center around Constructivist Mathematics, Formalization, and generally the Methodology and Epistemology of Mathematics. Adam has a particular fascination with how sometimes ‘lofty’ epistemic ideas pop up as useful design/methodological practices, and a conviction that mathematical progress can be made via purely methodological investigation.
