Lists Home |
Date Index |
Jeff Lowery scripsit:
> Real numbers aren't a type???
Well, if a type is just a set/class, then yes, they are. I think it more
useful to exclude uncountable classes from the types. Floating-point
numbers are definitely a type: they are countable and in fact finite.
Integers and rational numbers are a type: countable but not finite.
John Cowan firstname.lastname@example.org
Thor Heyerdahl recounts his attempt to prove Rudyard Kipling's theory
that the mongoose first came to India on a raft from Polynesia.
--blurb for _Rikki-Kon-Tiki-Tavi_