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

[Pavithra <pavithra_kenjige@xxxxxxxxx>]

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 <sowa@xxxxxxxxxxx> wrote:

From: John F. Sowa <sowa@xxxxxxxxxxx>
Subject: Re: [ontolog-forum] HOL decidability [Was: using SKOS forcontrolled values for controlledvocabulary]
To: ontolog-forum@xxxxxxxxxxxxxxxx
Date: Thursday, October 14, 2010, 3:14 PM

On 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) = 7

For every value of n, f(n) evaluates to the prime number 7.

Any polynomial that evaluates to different values for different
inputs 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@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

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