Inklings: a tumblelog

Landmark Computer Science Proof Cascades Through Physics and Math

🕑 ; via lobste.rs; try the Wayback Machine | edit

I only understand a tiny fraction of this, and the paper is well beyond me. I’m only half way through the article, and it’s a very interesting read.