Hilbert’s Tenth Problem on the Tech Tree