History

for article: Hilbert's tenth problem