ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] HOL decidability [Was: using SKOSforcontrolledvalues

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Randall R Schulz <rschulz@xxxxxxxxx>
Date: Fri, 15 Oct 2010 06:43:39 -0700
Message-id: <201010150643.39849.rschulz@xxxxxxxxx>
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?     (01)

No, I'm talking about carries from bit to bit.    (02)

You can't do anything, iterative or not, in arithmetic without relying 
on underlying interations. Period.    (03)


Randall Schulz    (04)

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

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