Tag Archives: Thomas Vidick

Thomas Vidick: What it is that we do

Originally posted on MyCQstate:
This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a “proof-based” discipline such as pure mathematics or theoretical computer science. Since the former is easier…

Posted in What is Mathematics | Tagged | 1 Comment

Amazing: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen proved that MIP* = RE and thus disproved Connes 1976 Embedding Conjecture, and provided a negative answer to Tsirelson’s problem.

A few days ago an historic 160-page paper with a very short title MIP*=RE was uploaded to the arXive by Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen.  I am thankful to Dorit Aharonov and Alon Rosen … Continue reading

Posted in Algebra, Analysis, Combinatorics, Computer Science and Optimization, Physics, Quantum | Tagged , , , , | 13 Comments