This Thursday Juliette Kennedy from the University of Helsinki will talk about one of Kurt Godel’s attempts to apply the idea of computability– which had recently been defined by Alan Turing– to the ideas of provability and definability in mathematics. Full details can be found here:

http://www.cs.sjsu.edu/sp14/kennedy.html

The talk will be May 1, 2013 in MH225 at 3 PM. Join us for refreshments in MH210 at 3:30.