[Top] [All Lists]

Re: [ontolog-forum] HOL decidability [Was: using SKOS forcontrolled valu

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pavithra <pavithra_kenjige@xxxxxxxxx>
Date: Fri, 15 Oct 2010 14:27:05 -0700 (PDT)
Message-id: <713798.9935.qm@xxxxxxxxxxxxxxxxxxxxxxxxxxx>

Do you have your student write algorithm for  Matiyasevich's theorem for prime number generator ?   It looks  interesting..


--- On Thu, 10/14/10, Michael Gruninger <gruninger@xxxxxxxxxxxxxxx> wrote:

From: Michael Gruninger <gruninger@xxxxxxxxxxxxxxx>
Subject: Re: [ontolog-forum] HOL decidability [Was: using SKOS forcontrolled values for controlledvocabulary]
To: ontolog-forum@xxxxxxxxxxxxxxxx
Date: Thursday, October 14, 2010, 2:36 PM

On 10-10-14 1:15 PM, Rich Cooper wrote:

Hi Doug,


Thanks for you post, you seem to be honestly trying to understand what I meant by the statement "there is no function that can iterate the primes", and perhaps I should have originally said "directly, without iterating other types", which seems to have set off this mess.  But I expected Menzel to make an honest answer instead of an ad hominem attack.  


The point is that there is no function which takes primes as its domain and ranges over the primes. 

Actually, there is indeed such a function.

Matiyasevich's theorem says:

Every recursively enumerable set is Diophantine,
that is, every recursively enumerable set is equivalent to the integer solutions of some polynomial.
Since the set of prime numbers is recursively enumerable, there exists a polynomial function
whose integer solutions are exactly the prime numbers.

You might even check out the page
for examples of such functions.

As a wise person said earlier in this thread
"we've made progress if you get off the soap box. "

- michael

-----Inline Attachment Follows-----

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>