May 29, 2016
John Carlos Baez on Very Long Proofs | Azimuth https://johncarlosbaez.wordpress.com/2016/05/28/very-long-proofs
