| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
Richard Shore (Cornell): Calibrating the Complexity of Mathematical Proofs and Constructions
3:30 pm
<a href="http://www.math.cornell...
Feb 8 @ 3:30 pm – 4:30 pm
We will discuss two related measures of complexity for mathematical theorems and constructions. One asks what proof techniques (or formally axioms) are needed to prove specific theorems. The other asks (for existence proofs) how complicated[...]
|
||||||