17 Dec
2003
17 Dec
'03
11:17 p.m.
Jim Choate allegedly said:
[...]
The number of cuts are 1-to-1 with the Reals, they are not the Reals. There is no way I can make a cut which is 3.1527, only 1-to-1 with the number(s). Important distinction.
They are 1-1 with the Reals, you can define all the operations on them that are defined for reals, for every representable real (like 3.1527) there exists a DC. You have some idea, perhaps that there are "real" reals, as opposed to the various constructs for defining them? Perhaps you could define what a "real" real would be? -- Kent Crispin "No reason to get excited", kent@songbird.com,kc@llnl.gov the thief he kindly spoke... PGP fingerprint: 5A 16 DA 04 31 33 40 1E 87 DA 29 02 97 A3 46 2F