[FOM] New Foundations consistency problem

[Andres Caicedo]

You probably want to contact Randall Holmes, at Boise State, who claims to 
have a proof, and has a semi-private draft of the result. Ask him for the 
link.

Best,
  Andres

On Wed, 23 Oct 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
>