University of Connecticut

Events Calendar

Martin Davis: "Algorithms, Equations, and Logic"

Tuesday, October 10, 2017
4:00pm – 5:00pm

Storrs Campus
Schenker 151

University Distinguished Public Lecture by Professor Martin Davis (UC Berkeley/Courant Institute).

The talk is part of the Special Semester in Logic, currently going on in the Department of Mathematics. For more information, visit http://ssil2017.logic.uconn.edu.

Abstract: 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.

Contact:

Damir Dzhafarov

Mathematics Department (primary), College of Liberal Arts and Sciences, Linguistics Department, Philosophy Department, UConn Logic Group Colloquium, UConn Master Calendar

#eventtitle
Control Panel