Re: boolean datatype ... wtf?

From: paul c <toledobythesea_at_oohay.ac>
Date: Wed, 29 Sep 2010 17:23:10 GMT
Message-ID: <2CKoo.1077$u9.500_at_edtnps82>


On 29/09/2010 10:04 AM, Bob Badour wrote:
> paul c wrote:
>
>> On 29/09/2010 8:45 AM, Bob Badour wrote:
>>
>>> paul c wrote:
>>>
...
>> Regarding division by zero, as impractical as it might be, I also
>> might have a mental block about that. If there were an op called
>> 'integer division', is there a theoretical reason why its operands
>> couldn't be relations and the result an empty relation?
>
> No. The result of 1/0 is undefined not an empty set of values, and the
> result of 0/0 is indeterminant not the set of all integers. Dividing by
> zero is not the only case where division is not closed on integers: 1/2
> is not an integer.

Yes, I was taught that dividing the integer 1 by the integer 0 is undefined. Maybe I should have suggested such an op be called 'relational integer division'. Surely the set of integers for which 1/2 results in an integer is empty? Received on Wed Sep 29 2010 - 19:23:10 CEST

Original text of this message