Re: robinson arithmetic is not incomplete

george says

Right.

but untill we know what makes a statement gibbly
we have no way of knowing
what his theorem is talking about

Wrong.
It DOES NOT MATTER what OTHER attributes the
statement may or may not have. If the theory
proves NEITHER the statement NOR its denial THEN
the theory is incomplete. ONE OR THE OTHER of the
statement and its denial MUST be true, but we DON'T
NEED to know WHICH, or what "truth" "is", in order to know
to know that theory is incomplete.


i say
rubbish unless i know what a gibbly i cant not know what his theorem is
talking about


george say



we DON'TNEED to know WHICH, or what "truth" "is", in order to know to
know that theory is incomplete.


rubbish until i know what makes a statement true i cant identify a true
statement thus his theorem is meaningless as with out knowing what a true
statement is i cant say there are true statements which are not provable

george says

This whole endeavor DOES NOT EVEN CARE about
what's TRUE: it CARES about what's PROVABLE.
And we all HAVE told you that BEING AN AXIOM makes
a statement provable, AS does being INFERRABLE from
the axioms ACCORDING to the INFERENCE RULES of
the LOGIC.

i say
rubbish until i know what makes a statement true i cant identify a true
statement thus his theorem is meaningless as with out knowing what a true
statement is i cant say there are true statements which are not provable

goerge says

This whole endeavor DOES NOT EVEN CARE about
what's TRUE:

i say rubbish it depends on there being identifibale true statements if i
cant tell what a true statement is the theorem collapses into
meaninglessness as i cant never find a true statement which i will know is
not provable

if there are no such thing as true statement the theorenm is meaningless
and
if there are true statement but i dont know what the hell they are then
again the theorem is meaningless as i cant make any identifications about
anything ie unprovable statments

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Relevant Pages

  • Re: wmp 9 series
    ... interested in knowing the system configuration that causes this to occur. ... See http://www.nwlink.com/~zachd/pss/pss.html for some helpful WMP info. ... > I,ve instlalled wmp 9 once but i cant see the agreement sentences where i ...
    (microsoft.public.windowsmedia.player)
  • Re: dd wont work
    ... Lowell Gilbert wrote: ... ive tried it both without (before knowing this) and with the ... but I still cant pick up an image of the cd. ... the disc is fine since I used to be able to dd from it. ...
    (freebsd-questions)
  • Re: What is it?
    ... George wrote: ... cant be... ... This small shaped like a mouse has a little LED near the nose end and just ... plugged into a pc and was designed to scan barcodes of popular household ...
    (uk.comp.homebuilt)
  • fluty shows his maturity
    ... so Georgie boy still cant get enough of me! ... This little fuckwad still ... and this is who George is buddies with now... ... regards to your cunt wife and retarded children. ...
    (rec.arts.marching.drumcorps)
  • Re: dd wont work
    ... Migs writes: ... ive tried it both without (before knowing this) and with the ... but I still cant pick up an image of the cd. ... Are you actually copying from cd0, or acd0? ...
    (freebsd-questions)
Loading