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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Friedman, Harvey, 1948-, Harrington, L. A.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: 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.
Colección:Studies in logic and the foundations of mathematics ; v. 117.
Temas:
Friedman, Harvey, > 1948-
Mathematics > Philosophy.
Math�ematiques > Philosophie.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Mathematics > Philosophy
Wiskunde.
Grondslagen.
Mathematical logic > Theories of Friedman, Harvey, 1948-
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares