Re: 1GB Tables as Classes, or Tables as Types, and all that refuted

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.

Regards Received on Wed Dec 01 2004 - 10:11:45 CST