The Dennes Room

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.