Thanks John, (01)
I thought that should have been pretty obvious from the beginning, but your
rephrasing of it is much more precise than mine was. Thanks for the
clarification. Your version would not have started the mess I seem to have
triggered. (02)
-Rich (03)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2 (04)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: Thursday, October 14, 2010 10:40 AM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] HOL decidability [Was: using SKOS forcontrolled
values for controlledvocabulary] (05)
On 10/14/2010 1:15 PM, Rich Cooper wrote:
> 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. (06)
The word 'iterate' seems to be the trigger that created the mess. (07)
I would interpret your wish in the following terms: (08)
Find a closed-form expression that defines a function Pr(n), which
for any positive integer n produces the n-th prime. (09)
In other words, you want a statement of the following form that
computes the n-th prime: (010)
Pr(n) = some algebraic expression that uses n, but does not
contain any nested or implied loop or recursive function. (011)
I agree that no such definition exists. (012)
John (013)
_________________________________________________________________
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 (014)
_________________________________________________________________
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 (015)
|