product iamge

Outlines of a Formalist Philosophy of Mathematics

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Haskell B. Curry (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 3
Publisher: Elsevier Science
Year: 1951

Language: English
Pages: iii-vii, 1-75

Content:
Edited by
Page iii

Copyright page
Page iv

Preface
Pages v-vii
Haskell B. Curry

I Introduction
Pages 1-2

II The Problem of Mathematical Truth
Pages 3-4

III Idealistic Views of Mathematics
Pages 5-7

IV Definition and Structure of a Formal System
Pages 8-16

V Examples of Formal Systems
Pages 17-27

VI Ontological Discussion of a Formal System
Pages 28-33

VII Reduction of a Formal System
Pages 34-37

VIII Formal Systems and Syntax
Pages 38-49

IX Metatheory
Pages 50-55

X The Formalist Definition of Mathematics
Pages 56-58

XI Truth and Acceptability
Pages 59-64

XII Mathematics and Logic
Pages 65-69

Appendix A Reformulation of Example 9
Pages 70-75