Hilbert's 10th problem - davidar/scholarpedia GitHub Wiki redirectMatiyasevich theorem ⚠️ **GitHub.com Fallback** ⚠️