Share

Feferman on Foundations

2018-04-04 Mathematics
Download Feferman on Foundations PDF Online Free

Author :
Release : 2018-04-04
Genre : Mathematics
Kind : eBook
Book Rating : 341/5 ( reviews)

GET EBOOK


Book Synopsis Feferman on Foundations by : Gerhard Jäger

Download or read book Feferman on Foundations written by Gerhard Jäger. This book was released on 2018-04-04. Available in PDF, EPUB and Kindle. Book excerpt: This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic.

Reflections on the Foundations of Mathematics

2017-03-30 Mathematics
Download Reflections on the Foundations of Mathematics PDF Online Free

Author :
Release : 2017-03-30
Genre : Mathematics
Kind : eBook
Book Rating : 819/5 ( reviews)

GET EBOOK


Book Synopsis Reflections on the Foundations of Mathematics by : Wilfried Sieg

Download or read book Reflections on the Foundations of Mathematics written by Wilfried Sieg. This book was released on 2017-03-30. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Reports of the Midwest Category Seminar III

2006-11-22 Mathematics
Download Reports of the Midwest Category Seminar III PDF Online Free

Author :
Release : 2006-11-22
Genre : Mathematics
Kind : eBook
Book Rating : 502/5 ( reviews)

GET EBOOK


Book Synopsis Reports of the Midwest Category Seminar III by : S. MacLane

Download or read book Reports of the Midwest Category Seminar III written by S. MacLane. This book was released on 2006-11-22. Available in PDF, EPUB and Kindle. Book excerpt:

The Number Systems: Foundations of Algebra and Analysis

2003 Number theory
Download The Number Systems: Foundations of Algebra and Analysis PDF Online Free

Author :
Release : 2003
Genre : Number theory
Kind : eBook
Book Rating : 157/5 ( reviews)

GET EBOOK


Book Synopsis The Number Systems: Foundations of Algebra and Analysis by : Solomon Feferman

Download or read book The Number Systems: Foundations of Algebra and Analysis written by Solomon Feferman. This book was released on 2003. Available in PDF, EPUB and Kindle. Book excerpt: The subject of this book is the successive construction and development of the basic number systems of mathematics: positive integers, integers, rational numbers, real numbers, and complex numbers. This second edition expands upon the list of suggestions for further reading in Appendix III. From the Preface: ``The present book basically takes for granted the non-constructive set-theoretical foundation of mathematics, which is tacitly if not explicitly accepted by most working mathematicians but which I have since come to reject. Still, whatever one's foundational views, students must be trained in this approach in order to understand modern mathematics. Moreover, most of the material of the present book can be modified so as to be acceptable under alternative constructive and semi-constructive viewpoints, as has been demonstrated in more advanced texts and research articles.''

In the Light of Logic

1998 Logic, Symbolic and mathematical
Download In the Light of Logic PDF Online Free

Author :
Release : 1998
Genre : Logic, Symbolic and mathematical
Kind : eBook
Book Rating : 300/5 ( reviews)

GET EBOOK


Book Synopsis In the Light of Logic by : Solomon Feferman

Download or read book In the Light of Logic written by Solomon Feferman. This book was released on 1998. Available in PDF, EPUB and Kindle. Book excerpt: In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. Beginning with a previously unpublished lecture for a general audience, Deciding the Undecidable, Feferman examines the famous list of twenty-three mathematical problems posed by David Hilbert, concentrating on three problems that have most to do with logic. Other chapters are devoted to the work and thought of Kurt Gödel, whose stunning results in the 1930s on the incompleteness of formal systems and the consistency of Cantors continuum hypothesis have been of utmost importance to all subsequent work in logic. Though Gödel has been identified as the leading defender of set-theoretical platonism, surprisingly even he at one point regarded it as unacceptable. In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles. At least to that extent, the question raised in two of the essays of the volume, Is Cantor Necessary?, is answered with a resounding no. This volume of important and influential work by one of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects.

You may also like...