[FOM] New Foundations consistency problem

[T.Forster at dpmms.cam.ac.uk]

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
>