Content deleted Content added
No edit summary |
|||
Line 13:
:P.S.If you post messages on talk pages please sign your message with <nowiki>~~~~</nowiki>.[[User:MathMartin|MathMartin]] 19:19, 5 Apr 2005 (UTC)
Actually, Matiyasevich's Theorem says the converse: Every recursively enumerable set is Diophantine. Jim
|