Harvey Friedman's research on the foundations of mathematics /
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.
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
|
Publisher Address: | Amsterdam ; New York : New York, N.Y., U.S.A. : |
Publication Dates: | 1985. |
Literature type: | eBook |
Language: | English |
Series: |
Studies in logic and the foundations of mathematics ;
v. 117 |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/117 |
Summary: |
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. |
Item Description: | "Harvey Friedman's publications."--Page 405-408. |
Carrier Form: | 1 online resource (xvi, 408 pages) : illustrations, portraits. |
ISBN: |
9780444878342 0444878343 9780080960401 0080960405 1282034863 9781282034860 |
Index Number: | QA8 |
CLC: | O1-0 |
Contents: | Front Cover; Harvey Friedman's Research on the Foundations of Mathematics; Copyright Page; PREFACE; INTRODUCTION; BIOGRAPHY OF HARVEY FRIEDMAN; TABLE OF CONTENTS; CHAPTER 1. THE WORK OF HARVEY FRIEDMAN; CHAPTER 2. BOREL DIAGONALIZATION AND ABSTRACT SET THEORY: RECENT RESULTS OF HARVEY FRIEDMAN; CHAPTER 3. NONPROVABILITY OF CERTAIN COMBINATORIAL PROPERTIES OF FINITE TREES; CHAPTER 4. THE CONSISTENCY STRENGTHS OF SOME FINITE FORMS OF THE HIGMAN AND KRUSKAL THEOREMS; CHAPTER 5. FRIEDMAN'S RESEARCH ON SUBSYSTEMS OF SECOND ORDER ARITHMETIC. |