Re: Meyer's Argument against Gödel's Theorem

On Aug 18, 8:50 pm, jeffreykeg...@xxxxxxxxx wrote:

Gödel noticed that arithmetic cannot prove its own consistency.
This (the fact that there is something arithmetic cannot prove) is
a meta-proof that arithmetic is consistent.

No, we have: IF PA (or whatever system rich enough for a certain
amount of arithmetic) is consistent THEN PA does not prove its own
consistency. That in itself is not a proof of the consistency of PA,
since in itself it does not reveal that there is a formula that PA
does not prove but only that IF PA is consistent THEN there is a
formula that PA does not prove, which is known already anyway. So a
proof of the consistency of PA must come from some other means.

MoeBlee

.

Relevant Pages

  • Re: Meyers Argument against =?iso-8859-1?Q?G=F6del=27s?= Theorem
    ... MoeBlee wrote: ... a meta-proof that arithmetic is consistent. ... IF PA (or whatever system rich enough for a certain ...
    (sci.logic)
  • Sat Sels
    ... furlong shouldn`t be a problem.The consistent but rarely winning IRISH WOLF ... Won with any amount in hand at Ayr beating the bottle job OONINPOHJA,and ... TRIMLESTOWN from Henry Candys honest yard is the most consistent of animals ... effect of the drawOn the other side of the draw EISTEDDFOD looks to be a ...
    (uk.sport.horseracing)
  • Re: Sat Sels
    ... furlong shouldn`t be a problem.The consistent but rarely winning IRISH ... Won with any amount in hand at Ayr beating the bottle job OONINPOHJA,and ... TRIMLESTOWN from Henry Candys honest yard is the most consistent of ... to the effect of the drawOn the other side of the draw EISTEDDFOD ...
    (uk.sport.horseracing)
  • Re: tcp socket programming
    ... > The socket recv() returns anything from 0 to 1024 bytes ... > depending on the amount of data that is available at that time. ... > to do this in a consistent, ... > from the socket object, but first converting it to a file-like ...
    (comp.lang.python)
  • Re: PATCH: README - Fix misleading pointer to the defconf directory
    ... Arnd Bergmann wrote: ... Darn, I used 'find' to ensure the structure is consistent, stupidly I didn't check wether the amount of fitting cases equals the amount of platforms at all, thus I did miss those who do not fit. ... I am going to resend the patch with your suggestions above soon. ...
    (Linux-Kernel)