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.

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Friedman, Harvey, 1948-, Harrington, L. A.
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., �1985.
Series:Studies in logic and the foundations of mathematics ; v. 117.
Subjects:
Friedman, Harvey, > 1948-
Mathematics > Philosophy.
Math�ematiques > Philosophie.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Mathematics > Philosophy
Wiskunde.
Grondslagen.
Mathematical logic > Theories of Friedman, Harvey, 1948-
Online Access:Texto completo
Texto completo
Texto completo
Table of 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.

Similar Items