Re: 1GB Tables as Classes, or Tables as Types, and all that refuted
From: Ja Lar <ingen_at_mail.her>
Date: Wed, 1 Dec 2004 18:01:47 +0100
Message-ID: <41adf904$0$270$edfadb0f_at_dread11.news.tele.dk>
Date: Wed, 1 Dec 2004 18:01:47 +0100
Message-ID: <41adf904$0$270$edfadb0f_at_dread11.news.tele.dk>
"Alfredo Novoa" <alfredo_at_ncs.es> skrev i en meddelelse
news:41adec79.5867296_at_news.wanadoo.es...
> On Mon, 29 Nov 2004 16:44:44 -0600, "Dawn M. Wolthuis"
> <dwolt_at_tincat-group.comREMOVE> wrote:
>
>>1) Has anyone provided any better logic related to the 1GB than that
>>provided by Date?
>
> Logic is correct or incorrect.
>
>> If not, I would think we could talk about this as
>>intuition or hypothesis that there is a mistake rather than anything
>>resembling a proof, right?
>
> This is tautology:
>
> If types are not variables, it is wrong to equate types and variables.
>
> A <> B => ~ ( A = B )
>
> There is no intuition or hypothesis here.
There is fact nothing here. Received on Wed Dec 01 2004 - 18:01:47 CET