Kirby >> Reals in the sense of >> infinitely precise numbers have no application in computing. >> >
Paul Tanner III.1415... > And that's where things go wrong when trying to funnel everything in > mathematics through a computer science bottleneck. So much of the > class of all objects studied by professional mathematicians just > cannot fit. >
Here's a debate. Do mathematicians actually study infinitely precise numbers, or do they merely play games in (hopefully) consistent systems whose semantics have traditionally been explained as studying such mythical objects? The games, in as much as they have been given precise rules, appear themselves to be computational games.