How Can ZFC/PA do much of Math - it Can't Even Prove PA is Consistent (EASY PROOF)
in [Logic]
|
Prev: equivalence
Next: How Can ZFC/PA do much of Math - it Can't Even Prove PA is Consistent (EASY PROOF)
From: Charlie-Boo on 3 Jul 2010 14:28 On Jul 3, 2:05 pm, Aatu Koskensilta <aatu.koskensi...(a)uta.fi> wrote: > Charlie-Boo <shymath...(a)gmail.com> writes: > > And you won't post it, alas, so people could quickly and easily see it > > and debunk it like the other BS references. > > You want me to post Ross Bryant's Master's Thesis? You'll find it online > at: > > http://www.cas.unt.edu/~rdb0003/thesis/thesis.pdf Thanks. But where does he show proof lines with ZFC as their justification? He refers to ZFC and makes claims regarding it, but all of his proofs and arguments are presented in normal mathematical terms with no reference to ZFC. 100 pages full of proofs and a handful of references to ZFC doesn't do it. C-B > -- > Aatu Koskensilta (aatu.koskensi...(a)uta.fi) > > "Wovon man nicht sprechan kann, dar ber muss man schweigen" > - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: Charlie-Boo on 3 Jul 2010 14:31 On Jul 3, 2:28 pm, Charlie-Boo <shymath...(a)gmail.com> wrote: > On Jul 3, 2:05 pm, Aatu Koskensilta <aatu.koskensi...(a)uta.fi> wrote: > > > Charlie-Boo <shymath...(a)gmail.com> writes: > > > And you won't post it, alas, so people could quickly and easily see it > > > and debunk it like the other BS references. > > > You want me to post Ross Bryant's Master's Thesis? You'll find it online > > at: > > > http://www.cas.unt.edu/~rdb0003/thesis/thesis.pdf > > Thanks. But where does he show proof lines with ZFC as their > justification? He refers to ZFC and makes claims regarding it, but > all of his proofs and arguments are presented in normal mathematical > terms with no reference to ZFC. > > 100 pages full of proofs and a handful of references to ZFC doesn't do > it. And the proof that it can't be carried out in PA? > C-B > > > > > -- > > Aatu Koskensilta (aatu.koskensi...(a)uta.fi) > > > "Wovon man nicht sprechan kann, dar ber muss man schweigen" > > - Ludwig Wittgenstein, Tractatus Logico-Philosophicus- Hide quoted text - > > - Show quoted text -
From: MoeBlee on 3 Jul 2010 16:19 On Jul 2, 8:00 pm, Transfer Principle <lwal...(a)lausd.net> wrote: > I myself accept the proof of Con(PA) > (though I still believe that the presence of epsilon_0 in any > proof of Con(PA) is suspicious, I don't know what you find suspicious about it. Anyway, we don't need to deploy epsilon_0. > What Charlie-Boo needs, therefore, is some evidence that > convinces him that if one were to work out all the steps, one > can eventually prove Con(PA) in ZFC, just as one can eventually > find googolduplex digits of sqrt(2)+sqrt(3). So far, no poster or > book has so convinced him. Therefore, there is no reason for > him to believe that such a proof exists. Of course. But it's just a mathematical theorem that virtually anyone who is informed in the basics of the subject can do for himself. No one can give a proof for Charlie-Boo that will convince him, since a proof of this theorem depends on lots of terminology, formulations, and previously proven theorems in Z set theory, which he refuses to learn (let alone the predicate calculus). You don't expect someone to prove in a post or two some result in mathematics such as analysis, abstract algebra, etc. that requires first learning the basics of those subjects, do you? Same fop mathematical logic. Morevover, Charlie-Boo is asking for a LITERAL formal proof. But you understand how impractical and senseless that is, since you understand that for purposes of communication and practicality mathematicians give informal proofs such that an adequately informed reader can see that the informal proof can be perfectly formalized in practice if we wished to spend the time and labor or at least in principle. MoeBlee
From: MoeBlee on 3 Jul 2010 16:27 On Jul 2, 8:21 pm, Transfer Principle <lwal...(a)lausd.net> wrote: > On Jul 1, 9:25 am, MoeBlee <jazzm...(a)hotmail.com> wrote: > > > On Jul 1, 9:01 am, Nam Nguyen <namducngu...(a)shaw.ca> wrote: > > > or if he meant that was just a relative consistency > > > proof he had referred to. > > Anyway, Aatu is not saying just that there exists a relative > > consistency proof nor just that, say, ZF or some other formal system > > proves Con(PA), but rather he's saying that PA IS consistent. He's > > saying that aside from whatever FORMAL proofs, PA is consistent - > > PERIOD. His basis is for that is not a FORMAL proof, but rather his > > conviction that the axioms of PA are true (and not even in confined to > > a FORMAL model theoretic sense of truth, but rather that the axioms > > are simply true about the natural numbers, as we (editorial 'we') > > understand the natural numbers even aside from any formalization. > > But this raises an interesting point here. > > If Aatu can say that PA is consistent, _period_, without any formal > proof whatsoever, then why can't Nguyen believe that PA is > inconsistent, > _period_, without formal proof? Who's stopping him? However, Aatu does give his REASON for his pre- formal belief that PA is consistent. For that matter, why can't Herc > believe > that there exist only countably many reals, _period_, without formal > proof, or Srinivasan believe that Infinity is false, _period_, without > formal > proof, or WM believe that certain large naturals don't exist, > _period_, > without formal proof? Same answer as above. > In reality, the only statements that posters are allowed to make, > _period_, without formal proof, are those which ZFC proves, or at > least > are undecidable in ZFC. Any statement outright refuted by ZFC isn't > allowed to be made, _period_, without formal proof. I've never seen such a rule. > On the contrary, a > formal proof will be demanded at best, with the poster who made the > claim being asked to provide axioms, definitions, and so on. And at > worst, the poster will be called a five-letter insult. If a person is clear that they are adopting some mathematical belief on a pre-formal basis, then fine. And we may ask for the pre-formal reasons for adopting such a belief. That is different from the kind of ignorant, incoherent, and factually incorrect statements made variously by various cranks. > So Nguyen is on the right track here. Aatu can state that PA is > consistent because there's a theory T proves such -- even if Aatu > states it without any such formal proof -- and that theory is ZFC. Actually just Z-R is sufficient, and, as I understand, certain weaker theories too. > But > no one is allowed to make a claim of anything refuted by ZFC without > a formal proof in some (other) theory. This is a fact, no matter how > much MoeBlee or anyone else may try to deny it. You are simply ignorant. There are mathematicians who claim that the axiom of choice is false. (I can't provide you with names without re- researching, but you'll find such in the literature). Moreover, even I have said, in so many words, that if anyone believes any axiom of ZF is false, then I don't object to that IN ITSELF. For example, if someone believes the axiom of infinity is false then that doesn't bother me in the least. MoeBlee
From: MoeBlee on 3 Jul 2010 16:40
On Jul 2, 9:10 pm, Nam Nguyen <namducngu...(a)shaw.ca> wrote: > I agree with you in the above: there's a degree of being double > standard that Moeblee and other "standard theorists" How EXACTLY am I a "standard theorist"? > have exercised: > they'd blast people as talking nonsense if people don't conform to > standard logics No, anyone is free to propose an alternative logic and present arguments in it. > in arguing while when it's their turn to conform > to definitions of consistency and language models in proving, say, > PA's syntactical consistency, it'd be perfectly OK for them to > _ignore formal proofs and just use mere intuitions_! I never proposed that mere intuition is sufficient as proof. You're getting really close to lying about me. Moreover, I do usually conform to standard definitions. But some terms do have different definitions in the literature, and so one may choose from among them. Moreover, definitions are stipulative and often in context of one author's (or poster's) purposes in context. And, as to the recent definition of 'consistency', I even admitted that the first definition I gave is awkward and that the actual definition I use and would use subsequently is indeed a standard definition. > The most interesting question is why MoeBlee and those "standard theorists" > never admit they're just being philosophical about PA's consistency, What are you talking about? I've never claimed the consistency of PA on some philosophical basis. Nor have I claimed that proof of consistency of PA from, say Z set theory, carries any epistemological value. This is old news: I understand (per the second incompleteness theorem, modulo any details I have not personally confirmed) that there is no finitistic proof of the consistency of PA. You've built up a whole characterization of my philosophical notions but that characterization is not supported by anything I've actually posted. > while they blatantly admit that they've gone astray from rigorousness > of reasoning? I mean MoeBlee said above: > > "aside from whatever FORMAL proofs, PA is consistent". I didn't state that as MY view. I was telling you AATU's view. For Christ sakes! MoeBlee |