[FOM] New Foundations consistency problem

Alasdair Urquhart urquhart at cs.toronto.edu
Thu Oct 24 10:01:19 EDT 2013


Yes, I am aware of Randall Holmes's outline of a proof, that was announced
on FOM by Holmes himself on November 1 2012.  My question is:
what is the current status of this claim?

On Wed, 23 Oct 2013, Andres Caicedo wrote:

>
> 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



More information about the FOM mailing list