Yes, and that is the kind of "iterator" I want to not include. My iterators
use a constant amount of space and time, and visit all the elements of the
collection. (01)
-Rich (02)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2 (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of doug foxvog
Sent: Friday, October 15, 2010 7:10 AM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] HOL decidability [Was: using
SKOSforcontrolledvalues for controlledvocabulary] (04)
The carries from bit to bit take additional time, but a standard computer
waits until a master clock tick to complete an operation, so the iterations
within an instruction do not affect the timing. (05)
Since the calculation of the next prime can not be guaranteed within a
fixed amount of time, such iteration masking is not possible in the
case of iterating through primes while generating them. One can iterate
through millions of primes in a table, but you will eventually reach no
a point where the next prime has not yet been determined. The next step
of the iteration would take an inordinate amount of time (else that
prime would have already been calculated). (06)
-- doug (07)
On Fri, October 15, 2010 9:43, Randall R Schulz said:
> On Friday October 15 2010, Rich Cooper wrote:
>> Infinite precision arithmetic repeatedly adds another computer word
>> to represent numbers that overflow with the current number of words.
>> You were talking about carries propagating across a word, remember?
>
> No, I'm talking about carries from bit to bit.
>
> You can't do anything, iterative or not, in arithmetic without relying
> on underlying interations. Period.
>
>
> Randall Schulz
>
> _________________________________________________________________
> 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
>
> (08)
=============================================================
doug foxvog doug@xxxxxxxxxx http://ProgressiveAustin.org (09)
"I speak as an American to the leaders of my own nation. The great
initiative in this war is ours. The initiative to stop it must be ours."
- Dr. Martin Luther King Jr.
============================================================= (010)
_________________________________________________________________
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 (011)
_________________________________________________________________
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 (012)
|