|Date: Tuesday, November 20, 2012
Location: 3096 East Hall (2:10 PM to 3:00 PM)
Title: What is ... a computer?
Abstract: This year we celebrate the centennial of Alan Turing's birth. In the 1930's Turing (working in the same era as Kurt Goedel and Alonzo Church, with various dependencies) carefully formulated a simple notion of abstract computer, that is accepted to this day. With this theory, we can pose simple and natural mathematical problems that are "undecidable," i.e., have no solution by physically-realizable computers.
Speaker: Martin Strauss
Institution: University of Michigan