[FOM] New Foundations consistency problem

[W.Taylor at math.canterbury.ac.nz]

Quoting David Roberts <david.roberts at adelaide.edu.au>:

> Ideally he would release it to the public, to get more eyes on it,   
> and hopefully generate as much interest (at least among logicians   
> and set theorists, and interested onlookers) as the recent Polymath8  
>  project centred on Zhang's recent proof of the existence of bounded  
>  gaps between primes did.

Has someone got a reference to an account of this proof of Zhang's, please?

- W. Taylor


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.