B.S., Warwick University; M.S., Ph.D., Cornell University
James BarnesVisiting Lecturer in Mathematics
I recently completed my PhD in mathematics as well as a Master's in computer science. I am currently teaching calculus.
I study mathematical logic, in particular, computability theory. Questions that motivate this field are: How complicated is it to effect a mathematical construction? How complicated is the proof of a given theorem? What does it mean to compute something? Can we measure the difficulty of problems and rank them?
I'm interested in dismantling the myth that mathematical ability is innate instead of earned. I'd also like to show people that mathematics is more about ideas than computation.
I like playing chess. I am very bad.