"Bullard, Claude L (Len)" scripsit:
> Ok. Still, he said
>
> "types first and formost define a concept of membership.
> Such definitions must be formal and unambiguous."
>
> So are you saying "unambiguous" means countable?
No, that's a side constraint. Real numbers are a class/set with uncountably
many members, but not a type. Floating-point numbers are a type.
--
Only do what only you can do. John Cowan <>
--Edsger W. Dijkstra, http://www.reutershealth.com
deceased 6 August 2002 http://www.ccil.org/~cowan
