product iamge

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to  Read more...

Abstract: Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects

Author(s): Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (eds.)
Series: Springer Lecture notes in logic 15
Edition: First edition
Publisher: A K Peters/CRC Press
Year: 2002

Language: English
Pages: 450
Tags: Grondslagen.;Logic, Symbolic and mathematical -- Congresses.;Logic, Symbolic and mathematical.;Mathematics -- Philosophy -- Congresses.;Mathematics -- Philosophy.;MATHEMATICS / General.

Content: Chapter Jeremy Avigad Ordinal analysis without proofs --
chapter Wilfried Buchholz Relating ordinals to proofs in a perspicuous way --
chapter Harvey M. Friedman Internal finite tree embeddings --
chapter Ulrich Kohlenbach Foundational and mathematical uses of higher types --
chapter Grigori Mints The epsilon substitution method and continuity --
chapter Predicativity: The outer limits --
part PART II. LOGIC AND COMPUTATION --
chapter A pragmatic interpretation of substructural logics --
chapter Computational complexity and induction for partial computable functions in type theory --
chapter Computability theory: structure or algorithms --
chapter 3 processes in natural language interpretation.