Give me ONE digit position of any real that isn't computable up to that digit position!
in [Math]
|
From: Aatu Koskensilta on 10 Jun 2010 12:45 Nam Nguyen <namducnguyen(a)shaw.ca> writes: > I'll make an explanation on this as soon as I could. But what did you > mean by "also"? What else did you have in mind that would need > clarification? The notion of "a formula that can't be model theoretically truth definable", which you yourself said "would require a close inspection of our current knowledge about the foundation of reasoning via FOL". -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: MoeBlee on 10 Jun 2010 12:49 On Jun 9, 8:21 pm, "Jesse F. Hughes" <je...(a)phiwumbda.org> wrote: > Transfer Principle <lwal...(a)lausd.net> writes: > > The closest that I've seen to such a poster is Nam > > Nguyen, who does appear to be respected more than most > > posters challenging standard theory. > > Nam's considerably more coherent than guys like Herc and AP, but I > wouldn't say that he's respected in any reasonable sense of the word. Nguyen is somewhat (I wouldn't say 'considerably') more coherent than the two horribly incoherent postgers you just mentioned. But Nam's main problem is that he's just so horribly mixed up about matters in mathematical logic while he is just as stubborn to not be corrected as are the two other posters you mentioned. MoeBlee
From: MoeBlee on 10 Jun 2010 12:50 On Jun 10, 12:09 am, Nam Nguyen <namducngu...(a)shaw.ca> wrote: > Jesse's arguments are more cohesive than those of Herc and AP, but I > wouldn't call his arguments respected, reasonable, or at times even > logical at all. You wouldn't, but I do. MoeBlee
From: FredJeffries on 10 Jun 2010 13:51 On Jun 9, 4:50 pm, Transfer Principle <lwal...(a)lausd.net> wrote: > > OK then. Here's what I'd like to see. > > In short, I want to see a counterexample to Little's > statement that: > > "The vast majority of posts arguing against ZFC or its > theorems in sci.math are actually from incompetent > cranks." > A couple days ago Herb posted: > What would be instructive would be to see at what point in Cantor's > proof that |S| < |P(S)| that the proof fails in NF(U). Maybe YOU could start the ball rolling towards a counterexample by responding to that.
From: Leland McInnes on 10 Jun 2010 14:33
On Jun 9, 7:50 pm, Transfer Principle <lwal...(a)lausd.net> wrote: > On Jun 9, 1:04 pm, Leland McInnes <leland.mcin...(a)gmail.com> wrote: > > > On Jun 8, 3:57 pm, Transfer Principle <lwal...(a)lausd.net> wrote: > > > What I'd love to see is a poster who _fully_ > > > understands ZFC, perhaps as much or even more than > > > MoeBlee understands the theory -- yet still doesn't > > > believe that ZFC is the best theory. > > I think you > > should ask yourself rather more carefully exactly what you're looking > > for this mysterious poster to say, and then I think you'll start to > > understand why, despite finding plenty of people who meet your stated > > criteria, none of them actually meet your desired criteria.- Hide quoted text - > > OK then. Here's what I'd like to see. > > In short, I want to see a counterexample to Little's > statement that: > > "The vast majority of posts arguing against ZFC or its > theorems in sci.math are actually from incompetent > cranks." > > Thus, I want to see a post arguing against ZFC that's > from a competent poster. I want to see a thread which > starts with a poster discussing a theory other than > ZF(C), but I don't want the responses to have the air > of "You're wrong and everyone else here is right." I > don't want the OP to be called by a five-letter insult, > or to be accused of not understanding ZFC. I don't want > the OP to be accused of having an IQ below 90. > > I want to see a peaceful discussion in which the OP > discusses why they work in the alternate theory, while > the others post why they prefer ZFC to the theory, and > so on. I'm not sure what "arguing against ZFC" would look like; at worst it does a more than adequate job as a formal system from which to construct mathematics to model the world. I could imagine arguing a preference for another system. I doubt you'll get much catharsis out of seeing that though, since it's likely to start and end very quickly with a response along the lines of "yes, that does look interesting, but not really useful to my particular field". Just in case I'll get the ball rolling on a discussion of synthetic differential geometry/smooth infinitesimal analysis as compared to classical calculus. The prime difference here is that SDG supposes a non-punctiform continuum -- you can't pick out individual points from it -- which squares nicely with the intuitive notion of a continuum as an indivisible whole that it ultimately incapable of being described in terms of discrete/distinguishable points. This is, of course, incompatible with classical calculus and the classical real line which is nothing but distinguishable points. Now, to have such a notion of a continuum, you need to make some sacrifices, like, for instance, forgoing the law of excluded middle. On the upside you can develop a purely synthetic geometric calculus in which standard results fall out naturally as simple algebra involving infinitesimals. Indeed, you can build up a very natural differential geometry in which, for example, thinking about a vector field on a manifold as infinitesimal flow across the manifold versus an infinitesimal element of a symmetry group of the manifold is just a matter of lambda abstraction. So there we go; some positive comments about a theory that is not formulatable in ZFC (I suppose it might be, but it would not be pretty). I doubt you'll see many comments though, because I doubt I've said much that is especially controversial. |