Invisible wrote:
> to Aleph-one if and only if the continuum hypothesis holds. And the 
> continuum hypothesis is independent of the axioms of ZFC, so...

I thought I remembered reading that someone had proven that to be the case 
like 10 years ago or so, but perhaps I misremember.

> Apparently so. I was under the impression that they're both equally 
> unstable, but apparently not.

Indeed, the point of TNT is to make Nitro stable enough to be useful.

-- 
Darren New, San Diego CA, USA (PST)
    C# - a language whose greatest drawback
    is that its best implementation comes
    from a company that doesn't hate Microsoft.

Post a reply to this message