[FOM] New Foundations consistency problem

[WILLIAM TAIT]

Can you say relative to what the consistency is proved or claimed to be proved? E.g.is Con(NF) claimed to be a theorem of ZFC?

Bill

On Oct 24, 2013, at 1:18 AM, T.Forster at dpmms.cam.ac.uk wrote:

> Randall Holmes has a proof of Con(NF). It's a very complex object, and he redesigns it every now and then with a view to making the construction clearer, so it's very much a moving target. My Ph.D. students and i are gradually working our way through it. The view here is that it is all true, but it's going to be months before we're confident that we are on top of it.
> 
> 
> On Oct 24 2013, Alasdair Urquhart wrote:
> 
>> I wonder if anybody could tell me the current status
>> of the consistency problem for NF?
>> 
>> 
>> _______________________________________________
>> FOM mailing list
>> FOM at cs.nyu.edu
>> http://www.cs.nyu.edu/mailman/listinfo/fom
>> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom