ontolog-forum
[Top] [All Lists]

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

 To: "[ontolog-forum]" Pavithra Fri, 15 Oct 2010 14:27:05 -0700 (PDT) <713798.9935.qm@xxxxxxxxxxxxxxxxxxxxxxxxxxx>
 Chris,Do you have your student write algorithm for  Matiyasevich's theorem for prime number generator ?   It looks  interesting..Pavithra --- On Thu, 10/14/10, Michael Gruninger wrote:From: Michael Gruninger Subject: Re: [ontolog-forum] HOL decidability [Was: using SKOS forcontrolled values for controlledvocabulary]To: ontolog-forum@xxxxxxxxxxxxxxxxDate: 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 http://en.wikipedia.org/wiki/Prime_number_formulas 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@xxxxxxxxxxxxxxxxShared Files: http://ontolog.cim3.net/file/Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1JTo Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx

```
_________________________________________________________________
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)

```
 Current Thread Re: [ontolog-forum] HOL decidability [Was: using SKOSforcontrolledvalues for controlledvocabulary], (continued)