Text this: Hilbert's Tenth Problem