Re: all the incompleteness proofs are worthless untill...

On Mar 21, 5:43 pm, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:
you say

He is not
using the axioms of P in his argument. He is talking about them and
the properties that they have.

i say
sorry

That's okay. I don't mind taking all this trouble to help you. It may
pay off eventually. :)

he states he is employing /using P in his proof
so what is he employing from PM


I told you what he was saying. You'll have to go and read it again and
make some effort to understand. Let me know if you need any further
help.
--
Message posted usinghttp://www.talkaboutscience.com/group/sci.logic/
More information athttp://www.talkaboutscience.com/faq.html

.

Relevant Pages

  • Re: WARNING: Industry is Blogging These NewsGroups to Maintain Their Monopolies
    ... sure what you are exactly saying", you lost it a bit after that. ... > In other words it is okay to be a shill for the likes of Mercola, Blaylock, ... it is okay not to be a smug idiot. ... [Though frankly, health choices are finally personal, and ...
    (misc.health.alternative)
  • Re: Civil war in Israel - NOT
    ... I might agree with what you are saying. ... Does the fact that Jews are doing it make it okay? ... I just read there was a terrorist attack north of Jerusalem with ...
    (soc.culture.jewish.moderated)
  • Re: Goodbye!
    ... He's not saying it's okay, he's saying I'm grandstanding by objecting. ... of the use of killfiles. ... But when I went and looked at it on google ...
    (misc.fitness.weights)
  • Re: Conservative Joke (14A)
    ... It's okay for anyone to wish anyone is dead, ... :causing Sylvia's loved ones a problem in real life by suggesting ... Are you now saying it's okay to cause peoples' loved ones problems ... No, you're not weaselling, you're just mean, a big fat meanypants. ...
    (misc.writing)
  • Re: Raatikainens critique of Chaitin
    ... and use a argumentation saying ... with restricted axioms. ... "working mathematician", proofs are texts in a natural language, and their ...
    (sci.math)