This thread makes me very crotchety, or perhaps I just am a very crotchety person and this thread makes me very aware of it. I find I find something to disagree with in almost every post, either in wording or substance (probably post #47 was the only one I was basically happy with, and even there, I had reservations about the first line).
Thoughts:
A) Whether “infinity” is a “number” or not is a completely irrelevant terminological question; the word “number” is a label which we can assign as we like it or not. I am fond of saying infinity is a number in certain number systems (e.g., affinely or projectively extended arithmetic, which perfectly well validate all the “1/infinity = 0”, “2 + infinity = infinity”, etc.,-style arithmetic claims people are naturally led to make), just as 3, 0, 1/2, -5, and 6 + 2i are; the concept of arithmetic with infinity admits family resemblances to other arithmetic systems, of the sort that justify similar language to me. However, it doesn’t matter whether you want to use this language or not; what matters is just the properties of infinite processes, regardless of what labels one wants to use in describing them.
B) There is no contradiction in assigning a value to 1/0 in some arithmetic language-game, so long as appropriate care is taken. See, again, the aforementioned system of projectively extended arithmetic.
C) Probability is just a way to describe proportions. It’s just the study of semipositive quantities totalling to 1. There’s no intrinsic bridge principle linking probability and possibility; one could perfectly well study probability as having nothing to do with and nothing to say about possibility. Yes, if one imposes a uniform measure on 2^N, or [0, 1], or such things, each particular singleton takes up less than 1/n of the whole, for arbitrarily high natural numbers n; this does not compel us to say anything about what is possible behavior for a physical or idealized coin.
D) Indeed, even should one want to play a language-game in which a link between probability and possibility is imposed, it is very hard to identify “has probability zero” with “is impossible”, for reasons already given. If one insists on doing so, one can bend oneself into saying something along such lines (e.g., “‘Definable’ events of probability zero are impossible; our definition of a ‘fair coin’ and the use of alethic language thereof should include the condition that, when flipped infinitely, such a coin must produce a sequence of heads and tails which is not a priori definable”) in a mathematically fruitful way, but there are significant (to the point of monstrous) subtleties to be carefully appreciated. This is the one point on which I find I have least crotchetiness, in that others have made the same argument just as well already.
E) For what it’s worth, most mathematicians who use the label “constructivists” are perfectly happy to discuss the sense in which “0.99999…” stands for 1, irrational numbers, e, pi, and all the rest of it. [Brouwer more than anyone else brought mathematicians’ attention to the idea of distinguishing between “completed” and “potential” infinities, yet Brouwer had no qualms with consideration of pi; one can perfectly easily construct an algorithm which describes the value of pi (or sqrt(2), or 0.9999…) to arbitrary precision]. I know no one in here is taking a contrary position, but I just want to point out that the aforementioned “constructivist” is, if accurately described, subscribing to a particularly narrow viewpoint not representative of most who use that name (that one should only study the arithmetic system of rationals, and no other possible numerical rule-games, apparently).
F) Furthermore, constructivism isn’t, typically, a “cop-out”; a constructivist is typically perfectly well capable of appreciating a deduction in classical, non-constructivist logic, as a deduction within a particular style of formal system or from particular premises, appropriate for particular narrow purposes. A constructivist is someone who is also willing to study other formal systems, with the thought that these are appropriate for other purposes. A willingness to investigate which principles are “constructively” valid is no more a cop-out than a willingness to study nonabelian groups or non-Euclidean geometry or any other instance of passage from the study of some familiar class of structures to the study of some other, more general class of structures.
G) Also, I need to buy groceries. It’s a damn shame the local Safeway is shut down for construction; now I have to go to the Andronico’s, where the prices are typically a bit higher, and which also closes two hours later. This has become a real problem, what with my habit of late-night shopping for…grumble, grumble