Talk:Computably enumerable set: Difference between revisions

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