Event Detail
Fri Nov 6, 200960 Evans Hall — 4:10 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.