معرفی
James Walsh is an Assistant Professor of Philosophy at New York University, specializing in mathematical logic. His research focuses on proof theory, reflection principles, and incompleteness theorems, with applications to foundational mathematics. He received the Sacks Prize (2020) for his dissertation on proof theory and ordinal analysis.
His research bridges mathematical logic, proof theory, and theoretical computer science, with recent publications exploring reflection principles, ordinal analysis, and connections between truth theories and modal logic. Walsh has developed novel approaches to incompleteness phenomena and the classification of formal theories. His interdisciplinary work includes collaborations with physicists applying machine learning to thermospheric density modeling.
Before joining NYU, Walsh was a Klarman Postdoctoral Fellow at Cornell University and received his DPhil from UC Berkeley.
حوزههای پژوهشی
