Reflections on the foundations of mathematics essays in honor of Solomon Feferman

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture...

Descripción completa

Detalles Bibliográficos
Otros Autores: Sieg, Wilfried, 1945- editor (editor), Sommer, Richard, 1961- editor (honoree), Talcott, Carolyn, editor, Feferman, Solomon, honoree
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press 2016.
Colección:CUP ebooks.
Lecture notes in logic ; 15.
Acceso en línea:Conectar con la versión electrónica
Ver en Universidad de Navarra:https://innopac.unav.es/record=b41996434*spi
Descripción
Sumario:Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought.
Notas:Title from publisher's bibliographic system (viewed on 14 Apr 2017).
Descripción Física:1 recurso electrónico (viii, 444 p.)
Formato:Forma de acceso: World Wide Web.
ISBN:9781316755983