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, 2017Time: 4:30 pmLocation: Baker A53 Steinberg AuditoriumSubmitted by: Pure and Applied LogicNote: Reception to follow at 6:00 pm, Baker Hall 135 |