Events

Fellows' Presentation

What Is a (Mathematical) Proof?

Photo by Tony RinaldoIrit Dinur will study probabilistically checkable proofs and robustness theorems. Such theorems allow one to make local and approximate observations and thus reason about global behavior.