Re: Proposal: 6NF
From: Keith H Duggar <duggar_at_alum.mit.edu>
Date: 21 Oct 2006 09:57:49 -0700
Message-ID: <1161449869.063594.137610_at_i42g2000cwa.googlegroups.com>
Date: 21 Oct 2006 09:57:49 -0700
Message-ID: <1161449869.063594.137610_at_i42g2000cwa.googlegroups.com>
vc wrote:
> Marshall wrote:
> > I do not recall learning anything in secondary school
> > which would suggest 2 and 2.0 were numerically different
> > in any way. Nor can I think of any *arithmetic* way to
> > distinguish between 2 and 2.0.
>
> You have to construct all the real numbers and prove that
> 2 is an element of the set.
Any mathematical number construct that fails to equate 2.0 and 2, fails to model our most basic common sense or "elemntary school" concept of the number 2.
- Keith -- Fraud 6