Bibliothèque de L'IMIST/CNRST catalogue › Détails pour : Harvey Friedman's research on the foundations of mathematics /

Harvey Friedman's research on the foundations of mathematics /

Autres auteurs : Friedman, Harvey, -- 1948-

| Harrington, L. A.

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.

Sujet(s) : Mathematics -- Philosophy.

| Friedman, Harvey, -- 1948-

| Mathématiques -- Philosophie.

| Wiskunde.

| Grondslagen.

| Electronic books.

| MATHEMATICS -- Infinity.

| MATHEMATICS -- Logic.

| Mathematical logic -- Theories of Friedman, Harvey, 1948-

Ressources en ligne :

Tags de cette bibliothèque : Pas de tags pour ce titre. Connectez-vous pour ajouter des tags.

Exemplaires ( 0 )
Notes
Commentaires ( 0 )

Exemplaires : http://www.sciencedirect.com/science/book/9780444878342

Exemplaires : http://www.sciencedirect.com/science/publication?issn=0049237X&volume=117

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.

pour proposer un commentaire.