Monthly Archives: November 2020

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

Lecture notes on the Mahadev verification protocol

Posted on November 11, 2020 by Thomas

As announced earlier I am currently teaching a course on “interactive proofs with quantum devices” in Paris. The course is proceeding apace, even though the recent lockdown order in France means that we had to abandon our beautiful auditorium at … Continue reading →

Posted in Quantum, Science, teaching, Uncategorized | Tagged , | 3 Comments