Re: 1-1/2+1/3-1/4+1/5-1/6+1/7

From: Virgil <Virgil@xxxxxxx>
Date: Tue, 19 Feb 2008 15:23:51 -0700

In article <uuBuj.299092$Ql7.260600@xxxxxxxxxxxxxxxxxxxxxxxxxx>,
Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx> wrote:

On 2008-02-18, in sci.math, Virgil wrote:

We have some justification for that assumption of (internal)
consistency. While absence of proof of inconsistency is not proof of
consistency, absence of such proof after sufficient effort to find such
proof becomes evidence for consistency, however fragile.

That no-one has managed to find a contradiction in ZFC yet is a very
poor reason to suppose ZFC is consistent.

Note that consistent systems of sufficient complexity, such as that of
ZFC, cannot prove themselves consistent without concomitantly proving
themselves inconsistent. So that to work with such a system at all, one
MUST assume its consistency, as we have done.

Pure silliness.

But of the very best kind!
.

References:
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Gonçalo Rodrigues
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Gonçalo Rodrigues
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Aatu Koskensilta
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Virgil
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Aatu Koskensilta

Prev by Date: Asymptotic Formula of Watson's
Next by Date: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
Previous by thread: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
Next by thread: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
Index(es):
- Date
- Thread

Relevant Pages

Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
... While absence of proof of inconsistency is not proof of ... absence of such proof after sufficient effort to find such ... That no-one has managed to find a contradiction in ZFC yet is a very ...
(sci.math)
Re: Who believes/believed that set theory is/was inconsistent?
... "If ZFC is consistent then PA is consistent." ... An inconsistency in PA could be rewritten using the ... I'm relying here on the assumption that Ed Nelson would ... But I didn't write that doubting the consistency of ZFC ...
(sci.logic)
Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
... that you will stumble upon an inconsistency proof of ZFC? ... more talent and better skills. ...
(sci.math)
Re: Proof that ZFC is inconsistent
... If you are SINCERE in attempting to prove ZFC ... first definition in precise, rigorous PROPER definitional form. ... possible to prove the inconsistency of ZFC, ...
(sci.math)
Re: Hans startling new set theory.
... > and failed to show inconsistency for 70 years". ... > tried so hard to refute ZFC but didn't succeed, ... The fact is that mathematicians have worked in ZF for a very long time ... I'm not sure I'd phrase it quite like Jiri did, ...
(sci.math)