Graduate Student Seminar, 4:00 pm April 18, 2005; HH215


Sara Miller


A brief history of computability


This talk will attempt to answer the question of what exactly it means for something to be computable. The usual answer given, that is, if you can imagine that there is an algorithm for computing something, then it is computable, is (understandably) unsatisfying. I will describe a few of the historic notions of computability, including partial recursion and Turing computability, explain why all of the notions agree, and then give evidence for why one should be satisfied with the usual answer.

To volunteer to give a talk, or for any other questions regarding this schedule, contact Sara Miller