When1: 1970
Who: Yuri Matiyasevich [Matiyasevich, Yuri]
What: mathematician
Where: Russia
Detail: He lived 1947 to ? and proved that no general algorithm can decide if Diophantine-equation systems have integer solutions, based on work by Julia Robertson, Martin Davis, and Hilary Putnam.
Mathematical Sciences>Mathematics>History>Number Theory
3-Mathematics-History-Number Theory
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224