Screen LibraryHarvey 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. |