Re: Newberry's Theses


On 2008-04-23, in sci.logic, Newberry wrote:

Well. you believe that PA is consistent. What did you derive this
conclusion from?

On Apr 23, 5:39 am, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:
My understanding of the naturals.

Newberry, PLEASE; YOU *DON'T* have to ACCEPT *this*
as answer! The whole point of Godel's Theorem is that
WE CAN'T understand the naturals, at least not using first-
order logic.

This "derivation" is not a formal
derivation of anything in PA.

AK is missing the point here as usual.
There is no need for him to appeal to a mystic understanding
of the naturals. He could produce a formal result in ZFC.
YOU said that to compute a sentence meant to derive it.
The sentence in question here was T(G).
AK correctly asked you , "Derive FROM WHAT?"

You DID NOT KNOW the answer to this question,
so you were subject to all manner of abuse from AK's
CHOICE of what to derive it from. He chose to derive it
INformally (that's practically a contradiction in terms)
from a mystic understanding (that's practically a contradiction
of THIS group's CHARTER, given that the group is about LOGIC).

You need to go back to AK's "derive FROM WHAT?" question
AND ANSWER it. You need to learn enough about logic to
know what a rational answer would be.
.

Relevant Pages

  • Re: help with Godels
    ... Aatu Koskensilta wrote: ... contradiction is provable using ordinary arithmetical principles? ... The specific concern is that arithmetic of the naturals is actually ...
    (sci.logic)
  • Re: Would it matter if ZF was inconsistent?
    ... that avoids the contradiction found in ZF. ... his proof that PA is inconsistent -- meaning ... number N such that for all classical naturals n<=N, ...
    (sci.logic)
  • Re: infinity
    ... >> of 'infinite' is wrong? ... > set of naturals as defined by Peano is therefore infinite, ... you insist there is some contradiction. ... When talking about lists of positive integers, ...
    (sci.math)
  • Re: infinity
    ... >>> naturals, it is the completed, total, entire, unexpandable set of all ... there is no contradiction in mappings involving all elements of ... >> Yes, you idiot, in the infinite set, it does, dumbell. ... There is a natural that maps to any idnetified set, ...
    (sci.math)
  • Re: Cardinality of Real Numbers
    ... Cantor's first assumes the existance of a bijection between the ... >> natural numbers and the reals. ... From this, a contradiction is reached ... >naturals to the reals, and shows that there is some real not in the ...
    (sci.math)