Harvey Friedman's Research on the Foundations of Mathematics PDF Download

Author: L.A. Harrington
Publisher: Elsevier
ISBN: 9780080960401
Category : Mathematics
Languages : en
Pages : 407

View

Book Description
This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.

Author: Neil Tennant
Publisher:
ISBN: 9781848901179
Category : Philosophy
Languages : en
Pages : 314

View

Book Description
This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of technical work in foundations. Friedman pioneered the now well-established and flourishing field of Reverse Mathematics, whose aim is to calibrate the intrinsic logico-mathematical consistency-strength of all the important theorems of mathematics. He has relentlessly pursued the full extent of the incompleteness phenomena into which Godel provided the first revealing glimpse. The Godel--Friedman program, as it is now deservingly called, seeks to find simple, natural and elegant mathematical statements of a combinatorial nature, that can be proved to be independent of set theory even when extended by powerful large-cardinal existence axioms.

Author: Wilfried Sieg
Publisher: Cambridge University Press
ISBN: 1316998819
Category : Mathematics
Languages : en
Pages :

View

Book Description
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.

Author: Pavel Pudlák
Publisher: Springer Science & Business Media
ISBN: 3319001191
Category : Mathematics
Languages : en
Pages : 699

View

Book Description
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

Author: Gaisi Takeuti
Publisher: Courier Corporation
ISBN: 0486320677
Category : Mathematics
Languages : en
Pages : 514

View

Book Description
This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.

Author: Yong Cheng
Publisher: Springer Nature
ISBN: 9811399492
Category : Mathematics
Languages : en
Pages : 122

View

Book Description
Gödel's true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematically natural and interesting statements that are similarly unprovable. A lot of research has since been done in this direction, most notably by Harvey Friedman. A lot of examples of concrete incompleteness with real mathematical content have been found to date. This brief contributes to Harvey Friedman's research program on concrete incompleteness for higher-order arithmetic and gives a specific example of concrete mathematical theorems which is expressible in second-order arithmetic but the minimal system in higher-order arithmetic to prove it is fourth-order arithmetic. This book first examines the following foundational question: are all theorems in classic mathematics expressible in second-order arithmetic provable in second-order arithmetic? The author gives a counterexample for this question and isolates this counterexample from the Martin-Harrington Theorem in set theory. It shows that the statement “Harrington's principle implies zero sharp" is not provable in second-order arithmetic. This book further examines what is the minimal system in higher-order arithmetic to prove the theorem “Harrington's principle implies zero sharp" and shows that it is neither provable in second-order arithmetic or third-order arithmetic, but provable in fourth-order arithmetic. The book also examines the large cardinal strength of Harrington's principle and its strengthening over second-order arithmetic and third-order arithmetic.

Author: Matthias Baaz
Publisher: Cambridge University Press
ISBN: 1139498436
Category : Mathematics
Languages : en
Pages : 541

View

Book Description
This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.

Author: Dirk Huylebrouck
Publisher: Springer Nature
ISBN: 3031362551
Category : Mathematics
Languages : en
Pages : 244

View

Book Description
Was it necessary for a 17th century painter to know principles of optics to hide a skull in one of his masterpieces? Is it possible the violent deaths of Roman emperors obey a statistical law? Are there connections between market trends and geometry? How did Islamic artists draw almost perfectly regular nine-sided polygons, when these cannot be traced with the use of compasses? Dirk Huylebrouk asks these and other exciting questions in this collection of essays, originally written for the science magazine EOS, a Dutch equivalent of Scientific American, distributed in Belgium and in The Netherlands. Every chapter can be read independently, as some subjects are repeated, and not strictly interconnected. Such is the case for instance of the golden section, an often-recurring topic in general mathematics. The reader will appreciate the original point of view expressed through each chapter, which makes this book stand out against the general information one can find by browsing the general media. The subtly provocative character of some parts is meant to stimulate the reader for further exploration. The book's title itself may already generate surprise. Sure, to many, mathematics seems to come from hell, but the darkness in the title in fact refers to the lugubrious stories about math and skulls, murders or World War II. There is also a more down-to-earth part is about math and maps, money, Facebook, folding paper, shapes in ice and the most earthly yet unsolved math problems. ‘Bright mathematics’ alludes to Vedic, Islam, New Age, a meta-divine section, and is concluded by an interview with a top mathematician who also wrote about the existence of God.

Author: Stephen G. Simpson
Publisher: Cambridge University Press
ISBN: 1108637221
Category : Mathematics
Languages : en
Pages : 401

View

Book Description
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. Reverse mathematics is a program of research in the foundations of mathematics, motivated by two foundational questions: 'what are appropriate axioms for mathematics?' and 'what are the logical strengths of particular axioms and particular theorems?' This volume, the twenty-first publication in the Lecture Notes in Logic series, contains twenty-four original research papers from respected authors that present exciting new developments in reverse mathematics and subsystems of second order arithmetic since 1998.

Author: Stephen G. Ross
Publisher: CRC Press
ISBN: 1439864284
Category : Mathematics
Languages : en
Pages : 416

View

Book Description
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting rece