Event Detail
Fri Nov 6, 2009 60 Evans Hall 4:10–6 PM |
Logic Colloquium Martin Davis (New York University) Reflections on Hilbert’s 10th Problem with a New Conjecture |
Hilbert’s 10th Problem asked for an algorithm to determine whether a given polynomial equation with integer coefficients has an integer solution. In this talk I will discuss the negative solution to the problem as well as various extensions.