Harvey Friedman's research on the foundations of mathematics /
Collection : Studies in logic and the foundations of mathematics ; . v. 117 Détails physiques : 1 online resource (xvi, 408 pages) : illustrations, portraits. ISBN :9780444878342; 0444878343; 9780080960401 (electronic bk.); 0080960405 (electronic bk.); 1282034863; 9781282034860.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.
"Harvey Friedman's publications."--P. 405-408.
Description based on print version record.
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
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Il n'y a pas de commentaire pour ce document.