Colloquium

Algorithms, Equations, and Logic

Martin Davis (NYU-Courant and UC Berkeley)

Tuesday, October 10, 2017 4:00 pm
Schenker 151

Comparison of different ways of specifying collections of numbers will lead to conclusions about limitations in what can be computed and what can be proved.