Another AC anomaly?
in [Math]
|
Prev: Dumb Question on Inference For Regression (Ho:= No Linear Relation)
Next: Is this a valid statement?
From: George Greene on 24 Nov 2009 09:59 On Nov 23, 9:03 am, Herman Jurjus <hjm...(a)hetnet.nl> wrote: > Yup - it's a game without a first move. So 'weird' is an accurate > qualification. Yet, it's not particularly difficult to give a > mathematical description of the situation, reason about it, and convince > ourselves that, mathematically, there's no problem with it. This is NOT true. The whole inference paradigm for standard classical FOL assumes that all rules of inference have FINITE number of premises. Even ONE attempt to make something depend on an infinite amount of prior information is a violation of the whole paradigm. This applies just as strongly to computing terms from arguments as it does to deriving conclusions from premises.
From: George Greene on 24 Nov 2009 10:04 On Nov 23, 9:48 am, Herman Jurjus <hjm...(a)hetnet.nl> wrote: > More conclusive (at least for me): you switch a light bulb on and off; > after infinitely many steps, is the light on or off? Well, there is more than one infinity. Ordinally, there are even successor ordinals after the first infinity. The reversed order (with no first element) can also have a last one. Basically, any infinity of steps that has a last element will have an answer to this question. Any infinite sequence that does not have a last element needs to get its "answer" from some NON-standard convention.
From: George Greene on 24 Nov 2009 10:09 > On Mon, 23 Nov 2009 15:03:25 +0100, Herman Jurjus <hjm...(a)hetnet.nl> > wrote: > >Yup - it's a game without a first move. So 'weird' is an accurate > >qualification. Yet, it's not particularly difficult to give a > >mathematical description of the situation, reason about it, and convince > >ourselves that, mathematically, there's no problem with it. Ideally, it > >should be much harder to make mathematical sense of a game like this. On Nov 24, 6:39 am, David C. Ullrich <dullr...(a)sprynet.com> wrote: > Why should this be hard? You wouldn't expect that being given > infinitely much information would be very powerful? Or even inadmissibly powerful; I mean, the definition of both a first-order language and the standard classical first-order inference paradigm PROHIBIT BOTH 1) functions from taking infinitely many arguments, AND 2) inference rules from taking infinitely many premises. You can legitimately work partially around this by using infinite sets as arguments IF they are finitarily definable. But when, as with AC, they are providing an infinite amount of information, then, yes, precisely as DCU says, you would EXPECT "problematic" situations to arise from the combination of "use of an infinite amount of information" in a context where that is AGAINST the "usual" policies.
From: Jesse F. Hughes on 24 Nov 2009 14:30 George Greene <greeneg(a)email.unc.edu> writes: > On Nov 23, 9:48 am, Herman Jurjus <hjm...(a)hetnet.nl> wrote: >> More conclusive (at least for me): you switch a light bulb on and off; >> after infinitely many steps, is the light on or off? > > Well, there is more than one infinity. > Ordinally, there are even successor ordinals after > the first infinity. The reversed order (with no first element) can > also have a last one. Basically, any infinity of steps that has > a last element will have an answer to this question. > Any infinite sequence that does not have a last element > needs to get its "answer" from some NON-standard convention. No, that's not enough. Suppose that the light begins "on", at each step, I toggle the state. It seems that you agree that after omega-many steps, we do not know whether the light is on or off. But if we do not know at omega whether the light is on or off, then surely we do not know whether it is on or off at omega + 1. Right? To put it differently, you claim "any infinity of steps that has a last element will have an answer to this question." w + 1 is an "infinity of steps" with a last element, but if we have an answer at w + 1, then we also have an answer at w. -- Jesse F. Hughes "Yes, I'm one of those arrogant people who tries to be quotable. There is actually at least one person who quotes me often." -- James Harris
From: Virgil on 24 Nov 2009 14:57
In article <87pr77zpng.fsf(a)phiwumbda.org>, "Jesse F. Hughes" <jesse(a)phiwumbda.org> wrote: > George Greene <greeneg(a)email.unc.edu> writes: > > > On Nov 23, 9:48�am, Herman Jurjus <hjm...(a)hetnet.nl> wrote: > >> More conclusive (at least for me): you switch a light bulb on and off; > >> after infinitely many steps, is the light on or off? > > > > Well, there is more than one infinity. > > Ordinally, there are even successor ordinals after > > the first infinity. The reversed order (with no first element) can > > also have a last one. Basically, any infinity of steps that has > > a last element will have an answer to this question. > > Any infinite sequence that does not have a last element > > needs to get its "answer" from some NON-standard convention. > > No, that's not enough. > > Suppose that the light begins "on", at each step, I toggle the state. > It seems that you agree that after omega-many steps, we do not know > whether the light is on or off. But if we do not know at omega > whether the light is on or off, then surely we do not know whether it > is on or off at omega + 1. > > Right? I'm not sure that going from omega to omega + 1 is a "step" in the same sense as going from, say, 5 to 6 is a step. > > To put it differently, you claim "any infinity of steps that has > a last element will have an answer to this question." w + 1 is an > "infinity of steps" with a last element, but if we have an answer at > w + 1, then we also have an answer at w. |