3 Published 01/07/2018 at 960 × 720 in The Limit of Language / Giới hạn của ngôn từ và văn tự Tiếp theo → Typical Diophantine equation: 3x2y − 7y2z3 = 18. −7y2 + 8z2 = 0. Proven by Yuri Matiyasevich as unsolvable. (Quantum Hypercomputing, Tien D. Kieu)