6 ms·
Connes Embedding Problem
- gsf_emergency_6 8mo agohttps://leanprover-community.github.io/mathlib_docs/analysis/von_neumann_algebra/basic.html https://leanprover-community.github.io/mathlib_docs/analysis... First person account of how it was disproved https://mycqstate.wordpress.com/2020/01/14/a-masters-project/ https://mycqstate.wordpress.com/2020/01/14/a-masters-project...
- big-chungus4 8mo agoDamn that's crazy, who else agrees