Re: Factoring paper is wrong

From: Aatu Koskensilta (aatu.koskensilta_at_xortec.fi)
Date: 06/15/04


Date: Tue, 15 Jun 2004 12:43:06 +0300

Sebastian Gottschalk wrote:
> What about formal independency? Everything which has been shown to be
> formally independent is obviously true to me, as the selection problem, the
> continuum hypothesis and the P-NP-problem is, where there's no evidence on
> counterexamples.

The inconsistency of ZFC is independent of ZFC (assuming it's
consistent). Do you think ZFC is obviously inconsistent?

-- 
Aatu Koskensilta (aatu.koskensilta@xortec.fi)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus