Outlines of a Formalist Philosophy of Mathematics

Edited by Haskell B. Curry - Professor of Mathematics State College, Pa. U.S.A.
Volume 3,

Pages iii-vii, 1-75 (1951)

Actions for selected chapters

/

  1. Edited by

    Page iii
    View PDF
  2. Copyright page

    Page iv
  3. Preface

    Pages v-vii
  4. I Introduction

    Pages 1-2
  5. II The Problem of Mathematical Truth

    Pages 3-4
  6. III Idealistic Views of Mathematics

    Pages 5-7
  7. IV Definition and Structure of a Formal System

    Pages 8-16
  8. V Examples of Formal Systems

    Pages 17-27
  9. VI Ontological Discussion of a Formal System

    Pages 28-33
  10. VII Reduction of a Formal System

    Pages 34-37
  11. VIII Formal Systems and Syntax

    Pages 38-49
  12. IX Metatheory

    Pages 50-55
  13. X The Formalist Definition of Mathematics

    Pages 56-58
  14. XI Truth and Acceptability

    Pages 59-64
  15. XII Mathematics and Logic

    Pages 65-69
  16. Appendix A Reformulation of Example 9

    Pages 70-75

ISBN: 978-0-444-53368-5

ISSN: 0049-237X