Re: OT: Let's Take the Religion out of Christmas

From: Kevin Aylward (salesEXTRACT_at_anasoft.co.uk)
Date: 01/12/05 

Date: Wed, 12 Jan 2005 13:54:29 GMT

Torkel Franzen wrote:
> "Kevin Aylward" <salesEXTRACT@anasoft.co.uk> writes:
>
>> Therefore it applies to the whole system as the system has no
>> meaning if it requires arithmetic but cant use such arithmetic.
>
> Again, just what formal system are you referring to in speaking of
> "the whole system"?
>
>> This is a postulate/axiom of Quantum Mechanics. No one has ever
>> derived this, despite much effort.
>> Godel tells us that such an equation *may* be
>> true, but not provable.
>
> No, Godel doesn't tell you any such thing.

Yep it does. Note it doesnt tell us that the statment *is* non derivable
from existing axioms, only that there if it cant, one shouldn't be
surprised.

>What Godel tells you is
> that any omega-consistent formal system incorporating a certain amount
> of arithmetic will have undecidable arithmetical statements of the
> form "for every n, P(n)", where P is a mechanically decidable
> property.

Yep, and that is what non-provable means in this context. Not derivable.
Not understandable. Not decidable. You just don't understand that that
is what all those words mean. There are all eqivelent in this context.
I'll repeat, as you just don't seem to have a grasp of English. In this
context, undecidable means exactly the same as improvable and
un-derivable. If you don't agree, please give you arguments as to why
this is not the case.

>
>> Godel astounded the mathematically community
>> because he proved, in maths, that not all things can have a reason,
>> in principle.
>
> He proved no such thing, nor did he ever claim to have proved
> anything of the sort.

Yep he most certainly did, but he simply used different words.
Unfortunately you don't understand what his words actually means in the
bigger picture, due to your lack of basic English comprehension ability.
Hint: if something is "undecidable", i.e. identically equivalent to
improvable in this context, then there is no "reason" for the statement.
That is, in this context, the "reason" for the true statement can't be
discovered, i.e. *derived* , i.e. the statment must be true for some
unknown reason.

Just what the f*&^% do you think "undecidable" means?

Jesus wept dude, for the bloody last time, "undecidable" *means* that
the statement cant be *derived* from the existing axioms, therefore
there is no reason for the statement within the system. That's the whole
bloody point of the theorem dude. This means that the statement cant be
*understood*, i.e. understood in terms of existing axioms. If we could
derive the statement, then we would have a reason for it. Dah...

>
> Your invocation of the incompleteness theorem is typical of many
> such invocations in that it doesn't really have anything to do with
> the actual content of the theorem. Rather, the incompleteness theorem
> serves as inspiration or metaphor.

Nope. You need some remedial English lessons. You will never understand
Godel untill you do. At the moment all yopu can do is parrotrt off:

"will have undecidable arithmetical statements of the form "for every n,
P(n)", where P is a mechanically decidable property"

Without the slightest idea as to what it actually means. You are simply
cluless that "undecidable" means "non derivable", and "non derivable",
means "no reason for", in this context.

If you disagree please explain, specifically and in detail, in this
context, why "undecidable" does *not* mean "non derivable" and "no
reason for".

Kevin Aylward
salesEXTRACT@anasoft.co.uk
http://www.anasoft.co.uk
SuperSpice, a very affordable Mixed-Mode
Windows Simulator with Schematic Capture,
Waveform Display, FFT's and Filter Design.

Relevant Pages

  • Re: Horses needing shoes?
    ... physiological reason why high performance cant be done barefoot..and ... head around being barefoot and jumping particularly seemed so weird ... Traction is a big reason at least for jumpers and eventers (I don't ... is cool, but I have jumped horses in Easy Boots and MHO, I ...
    (rec.equestrian)
  • Re: Contributing to u.r.c. Jelly babies in short supply
    ... | Any reason why you saw little worth? ... | It could be that the questions were of "little worth" but I have to ... Or perhaps your happy to reinforce the prejudices ... Indeed you made your own prejudices, saw what you expected to see, cant ...
    (uk.religion.christian)
  • Re: Horses needing shoes?
    ... physiological reason why high performance cant be done barefoot..and ... I can think of one reason. ... I was so thankful for Wilbur's shoes which I had had tapped and I was able to pop in a small caulk to give us traction. ... As it was, his horse's HQ were on the ground but because of the caulks, the horse was able to recover two strides before the fence, cleared it, and won the class. ...
    (rec.equestrian)
  • =?iso-8859-1?q?Re:_Torkel_Franz=E9n_is_dead?=
    ... people reason well in non-mathematical contexts." ... I took into account the context, and none of your discussion of the ... rather only that they do not have a talent for formal logic. ... don't have an APTITUDE for symbolic logic. ...
    (sci.logic)
  • Re: php requires ".php" not ".html" ?
    ... That is not an authoritative reason, and it's the only reason you ... Jerry is a single minded twit: he always relates any issue to his own very limited experience in a particular corporate environment. ... or how other peoples contexts differ from his own. ... There is a grain of truth in most of what he says, but its a grain that is far easier gleaned from other peoples posts, and they WILL give the context, and the reasoning behind the assertions. ...
    (comp.lang.php)