My name is Zesheng Chen; my friends and family call me Jason. I am a PhD candidate 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.
I was born and raised in Shenzhen, China; some news outlets call it China’s Silicon Valley or a miracle of modern development.