Hacker News new | ask | show | jobs
by p0llard 2118 days ago
> Godel-type unprovability is separate from logical independence

What do you mean by this? The Goedel sentence of a system is logically independent from the system by the standard meaning of "logical independence".