How Can ZFC/PA do much of Math - it Can't Even Prove PA isConsistent (EASY PROOF)
in [Math]
|
Prev: JSH: Discrete log solution and degrees of freedom analysis
Next: (phi( <[1] 2 3 4...> ) & An (phi ( <[1 2 ... n] n+1 n+2 ...>) -> phi( <[1 2 ... n n+1] n+2 n+3 ...> ))) -> phi( <[1 2 3 4...]> )
From: Aatu Koskensilta on 30 Jun 2010 20:37 herbzet <herbzet(a)gmail.com> writes: > This is what I was getting at, and where I found your reply to billh04 > somewhat lacking. Billh04 asked Are you saying that it is a theorem of ZFC that PA is consistent? I answered that, yes, this is indeed the case. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
From: herbzet on 30 Jun 2010 21:20
Aatu Koskensilta wrote: > herbzet <herbzet(a)gmail.com> writes: > > > This is what I was getting at, and where I found your reply to billh04 > > somewhat lacking. > > Billh04 asked > > Are you saying that it is a theorem of ZFC that PA is consistent? > > I answered that, yes, this is indeed the case. Quite so. It was in fact the only sentence in his post that ended with a question mark, but I think there was more being queried than just that one question, taking the whole context into account. But that's just my interpretation -- I could be wrong. I am confident that my personal lack of total satisfaction with your reply to billh will not trouble you unduly. -- hz |