Re: Godels theorem ends in paradoxsimply proof
 From: herbzet <herbzet@xxxxxxxxx>
 Date: Tue, 08 Jun 2010 23:02:57 0400
Aatu Koskensilta wrote:
herbzet writes:
If you're not disagreeing with anything, I'm not sure what you're
driving at. Could you elaborate?
I was just pointing out that while your reasoning was perfectly fine
there's no need to invoke classical logic to conclude from Gödel's proof
that for every sufficiently expressive consistent formal theory there's
an arithmetical truth it doesn't prove.
Generally, I don't invoke classical logic, it just kicks down the door
and muscles its way in without invitation.

hz
.
 References:
 Re: Godels theorem ends in paradoxsimply proof
 From: herbzet
 Re: Godels theorem ends in paradoxsimply proof
 From: Aatu Koskensilta
 Re: Godels theorem ends in paradoxsimply proof
 Prev by Date: Re: Godels theorem ends in paradoxsimply proof
 Next by Date: Re: Godels theorem ends in paradoxsimply proof
 Previous by thread: Re: Godels theorem ends in paradoxsimply proof
 Next by thread: Re: Godels theorem ends in paradoxsimply proof
 Index(es):
Relevant Pages
