Category Archives: meta

What it is that we do

Posted on November 22, 2020 by Thomas

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 to circumscribe and also … Continue reading →

Posted in meta, Science, Uncategorized | Tagged | 6 Comments

It happens to everyone…but it’s not fun

Posted on September 29, 2020 by Thomas

A recent post on this blog concerned the posting of our paper MIP*=RE on the arXiv and gave a personal history of the the sequence of works that led to the result. Quite unfortunately (dramatically?) a few weeks after initial … Continue reading →

Posted in meta, Quantum, Science, Uncategorized | 9 Comments

A Masters project

Posted on January 14, 2020 by Thomas

In a previous post I reported on the beautiful recent result by Natarajan and Wright showing the astounding power of multi-prover interactive proofs with quantum provers sharing entanglement: in letters, . In this post I want to report on follow-up … Continue reading →

Posted in meta, QPCP, Quantum, Science | Tagged , , , | 28 Comments

The least stressful job

Posted on January 6, 2013 by Thomas

Quite a bit of a commotion was generated in academic circles by the publication a couple days ago of a somewhat absurd piece The Least Stressful Jobs of 2013 at Forbes.com, written by Susan Adams. Of course with such a title … Continue reading →

Posted in meta | Tagged , , , | 5 Comments