In the desert with the ordinals, amid COVID-19
In the desert with the ordinals, amid COVID-19

My name is Zesheng Chen; my friends and family call me Jason. I am a PhD student at the Deparment of Logic and Philosophy of Science, UC Irvine. I study notions of feasibility in (meta-)mathematics, with the big three being computability, provabillity, definability. I am also interested in their corresponding notions of randomness. I approach these topics from the intersection between set theory and recursion theory, and investigate how results there can inform these notions and the foundations of mathematics at large. My advisor is Toby Meadows.