Hilbert’s tenth problem asks for a general algorithm to determine whether a Diophantine equation has a solution. The brief discussion introduces the negative result and its significance for the limits of algorithmic methods.
126 words · auto-generated from the episode video
42:22>> 1970, resolution of Hilbert's 10th problem. We're knocking them down. >> Yeah. Yeah. One by one, Hilbert's problems are going down. I don't know anything about Hilbert's 10th problem. I'm going to be honest. But apparently, it's a big deal that we resolved it. This was mathematician Julia Robinson at UC Berkeley, Martin Davis at NYU, and Hillary Putnham at MIT. They spearheaded this foundational mathematical and logical framework that proved Hilbert's 10th problem undecidable and demonstrated that no general algorithm exists to determine the solvability of the Dopantine equations. >> If you have an explanation and you want to put it in our comments, please let us
43:02know. >> Yeah, cuz I'd like to know. We'd like to know uh the solution the resolution