Re: Godels theorem ends in paradox-simply proof
- From: herbzet <herbzet@xxxxxxxxx>
- Date: Tue, 08 Jun 2010 23:02:57 -0400
Aatu Koskensilta wrote:
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.