Matiyasevich's theorem
专有名词
英文释义
专有名词
- A theorem stating that every computably enumerable set is a Diophantine set, and the converse.
词源
Named after Russian mathematician Yuri Matiyasevich.
0 次浏览
数据来源: Wiktionary