Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Hostname: page-component-76fb5796d-zzh7m Total loading time: 0 Render date: 2024-04-25T11:20:33.072Z Has data issue: false hasContentIssue false

Reflections

from Symposium program

Published online by Cambridge University Press:  31 March 2017

Edited by
Wilfried Sieg ,
Richard Sommer  and
Carolyn Talcott
Wilfried Sieg
Affiliation:
Carnegie Mellon University, Pennsylvania
Richard Sommer
Affiliation:
Stanford University, California
Carolyn Talcott
Affiliation:
Stanford University, California
Get access

Summary

This symposium (a.k.a. the Feferfest) is centered around proof theoretically inspired foundational investigations. Solomon Feferman has been a contributor to these investigations during the last forty years in a most systematic and significant way, and the main themes of the Symposium are themes in his work. The Symposium is a tribute to him on the occasion of his 70-th birthday—a tribute both to his specific contributions and to his influence on the direction of current research.

Program

December 11; 100 Cordura Hall

Opening remarks. J. Barwise

Session I: Proof theoretic ordinals

(Chair: G. Mints).

W. Pohlers; Proof-theoretic ordinals for theories in the language of (second order) arithmetic and set theory

J. Avigad; Ordinal analysis without proofs

R. Sommer; Iterating reflection

Session II: Foundational reductions

(Chair: W. Sieg).

P. Martin-Lof; Modelling versus Tarski semantics.

J. Barwise; Symbolic and presymbolic logic

J. van Bentham; Logical constants: the variable fortunes of an elusive notion December 12; Gates Building, B03

Session III: Formalizations in restricted systems

(Chair: S. Buss).

G. Takeuti; Godel sentences of bounded arithmetic

R. Constable; Admiring proof reflections and working with them

U. Kohlenbach; Classical analysis in weak systems of finite type

S. Simpson; Predicativity: the outer limits

Session IV: Applicative and self-applicative theories

(Chair: M. Beeson).

D. Scott; Project update: logics of types and computations

M. Rathjen; Monotone inductive definitions in explicit mathematics

A. Cantini; On extensionality, uniformity and comprehension in explicit mathematics

I. Mason/ C. Talcott; Feferman-Landin logic

December 13; Gates Building, B03

Session V: Philosophy and history of modern mathematical thought

(Chair: D. Follesdal).

C. Parsons; Reflections on predicativity

J. Dawson; The unity of mathematics—a foundational touchstone?

W. Sieg; Calculations by man and machine

W. Tait; Some remarks about finitism

Session VI: Generalized computation and reflective closure (Chair: J. Etchemendy).

Type
Chapter
Information
Reflections on the Foundations of Mathematics
Essays in Honor of Solomon Feferman
 , pp. 443 - 444
Publisher: Cambridge University Press
Print publication year: 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Reflections
  • Edited by Wilfried Sieg, Carnegie Mellon University, Pennsylvania, Richard Sommer, Stanford University, California, Carolyn Talcott, Stanford University, California
  • Book: Reflections on the Foundations of Mathematics
  • Online publication: 31 March 2017
  • Chapter DOI: https://doi.org/10.1017/9781316755983.022
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Reflections
  • Edited by Wilfried Sieg, Carnegie Mellon University, Pennsylvania, Richard Sommer, Stanford University, California, Carolyn Talcott, Stanford University, California
  • Book: Reflections on the Foundations of Mathematics
  • Online publication: 31 March 2017
  • Chapter DOI: https://doi.org/10.1017/9781316755983.022
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Reflections
  • Edited by Wilfried Sieg, Carnegie Mellon University, Pennsylvania, Richard Sommer, Stanford University, California, Carolyn Talcott, Stanford University, California
  • Book: Reflections on the Foundations of Mathematics
  • Online publication: 31 March 2017
  • Chapter DOI: https://doi.org/10.1017/9781316755983.022
Available formats
×