Carries from bit to bit within a fixed word length use a constant amount of
space and time because the clock rate on the computer is set to work with
even a full set of carries across the entire word length. In practice, this
makes my kind of iterator constant in its use of space and time.
Asynchronous computer arithmetic has proven to be impractical in actual use. (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 Randall R
Schulz
Sent: Friday, October 15, 2010 6:44 AM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] HOL decidability [Was:
usingSKOSforcontrolledvalues for controlledvocabulary] (04)
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? (05)
No, I'm talking about carries from bit to bit. (06)
You can't do anything, iterative or not, in arithmetic without relying
on underlying interations. Period. (07)
Randall Schulz (08)
_________________________________________________________________
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 (09)
_________________________________________________________________
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 (010)
|