One of Hilbert’s 23 problems: the problem posed was on the existence of an algorithm to determine whether or not a given Diophantine equation has solutions. It was proved by Y. Matijasevich in 1970 that no such algorithm exists.
科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。