CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Pure and Applied Logic Seminar
Dana Scott
Carnegie Mellon University
Title: What is Explicit Mathematics?

Abstract: Beginning in about 1975, the late Solomon Feferman started writing about ways of making "real" mathematics more explicit. He was much influenced at the time by writers such as Georg Kreisel, Errett Bishop, John Myhill, Per Martin-Lof, William Tait, to name a few. He then continued up to the end of his life with students and colleagues to expand on his vision - especially in developing detailed proof-theoretic comparisons between various axiomatic systems.

The speaker would like to raise the question anew as to whether there are other useful ways of being explicit and, thus, finding what can be learned about the content of mathematical arguments.

Date: Friday, October 27, 2017
Time: 4:30 pm
Location: Baker A53 Steinberg Auditorium
Submitted by:  Pure and Applied Logic
Note: Reception to follow at 6:00 pm, Baker Hall 135