|
Rich and Chris, (
You two genius professors .. stop it.. )!
My suggestion is to select a group of people or expert and defend your thesis
Gödel's theorem ! We all like to respect everyone and not be an
audience for name calling.
Rich we use the word " Populate " or "generate" prime
number more often then iterate. But I did understand
it the same way as Doug said it..
Thanks Pavithra, but I really do mean “iterate”
as opposed to generate. Please see my response to Michael, who cleared up my
imprecise first statement further.
I agree with Dr. Sowa there is one function call based on one Algebraic
function that populates prime numbers.
That isn’t what John said. He
said:
In
other words, you want a statement of the following form that computes the
n-th prime:
Pr(n) = some algebraic _expression_ that uses n, but does not
contain any nested or implied loop or recursive function.
I
agree that no such definition exists.
John
This means he agrees that there is no
such function. If I had been as good a mathematician as John, or perhaps
Michael, I might have got it right the first time – I didn’t, because
my explanation wasn’t intended to be rigorous and formal – this is
a list, not a journal.
But we do effectively
use iterative ( as you said) loops with few lines of code to generate
it. One has to also define the upper and lower bound to
(the numbers between 2 to 1000 etc ) to populate the prime numbers for a
given range as part of the code.. Chris and Dough did write
pseudo code that would work..
Yes, they did, as you say. Those
functions just don’t “iterate” in the sense I had in mind,
and which description took extra constraints which John and Michael added to
clarify my imprecise original statement.
Regards,
Pavithra
Thanks for your interest,
-Rich
--- On Thu, 10/14/10, Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx>
wrote:
From: Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx>
Subject: Re: [ontolog-forum] HOL decidability [Was: using SKOS
forcontrolledvalues for controlledvocabulary]
To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
Date: Thursday, October 14, 2010, 2:13 PM
Chris you remain much too annoying and rude to waste
any further time on.
Discuss it with others on the list who can put up with your ignorant
assertion of the commonplace. I am out.
-Rich
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]
On Behalf Of Christopher
Menzel
Sent: Thursday, October 14, 2010 10:52 AM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] HOL decidability [Was: using SKOS
forcontrolledvalues for controlledvocabulary]
On Oct 14, 2010, at 12: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.
I apologize for the *ad hominem* elements of my response, but I gave a very
detailed, "good-faith" critique of all of your claims about Gödel's
theorem
and its proof. I have to admit to having very little patience for
people
who misrepresent Gödel's work -- which you did, several times, particularly
in your claim about Gödel's results all being "based on the
primes", a claim
you have yet to acknowledge as bogus. I would have no problem at all
engaging in a more cool-headed way over the meaning of the term
"iterate".
Unfortunately, you still seem to think that the fact that "there is no
iterator of [the primes]", in your sense of "iterator", is
somehow connected
to Gödel's theorem. It simply isn't, and the fact that you don't see it
means that you don't understand the theorem or its proof.
-chris
_________________________________________________________________
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
|