ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] HOL decidability [Was: usingSKOSforcontrolledvalues

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Ron Wheeler <rwheeler@xxxxxxxxxxxxxxxxxxxxx>
Date: Fri, 15 Oct 2010 10:40:35 -0400
Message-id: <4CB867E3.5040206@xxxxxxxxxxxxxxxxxxxxx>
  On 15/10/2010 10:23 AM, Rich Cooper wrote:
> 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.
Great forum for those who miss the 1960's and 1970's.
Anyone have a comment on implementing the caching of hard-drive data?
Was replacing RDBMS with SQL a good thing?
How far can we go in the guise of Ontology repository requirements?    (01)

>
> -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 Randall R
> Schulz
> Sent: Friday, October 15, 2010 6:44 AM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] HOL decidability [Was:
> usingSKOSforcontrolledvalues for controlledvocabulary]
>
> 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
>
>
>
> _________________________________________________________________
> 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
>
>    (02)


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

<Prev in Thread] Current Thread [Next in Thread>