ontolog-forum
[Top] [All Lists]

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

 To: "[ontolog-forum]" Pavithra Thu, 14 Oct 2010 18:33:07 -0700 (PDT) <531855.23939.qm@xxxxxxxxxxxxxxxxxxxxxxxxxxx>
 Rich,Wolfram|Alpha allows the following functions ..to get prime numbers ... NextPrime  RandomPrime  FactorInteger  PrimeQ  PrimePi  Primes  PrimeZetaP`http://mathworld.wolfram.com/PrimeCountingFunction.html]` Most probably this tool handles most of the mathematical equations..Pavithra --- On Thu, 10/14/10, John F. Sowa wrote:From: John F. Sowa Subject: Re: [ontolog-forum] HOL decidability [Was: using SKOS forcontrolled values for controlledvocabulary]To: ontolog-forum@xxxxxxxxxxxxxxxxDate: Thursday, October 14, 2010, 3:14 PMOn 10/14/2010 3:06 PM, Rich Cooper wrote:> Your suggested set of functions are no “*non-constant polynomials”* if> they iterate the primes.  Whatever that “*non-constant polynomials”* means!Following is an example of a constant polynomial:    f(n) = 7For every value of n, f(n) evaluates to the prime number 7.Any polynomial that evaluates to different values for differentinputs will always generate some integers that are not primes.John _________________________________________________________________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 SKOS forcontrolledvalues for controlledvocabulary], (continued)