## Books

books.google.comhttps://books.google.com/books/about/Outlines_of_a_Formalist_Philosophy_of_Ma.html?id=tZHrBQgp1bkC&utm_source=gb-gplus-shareOutlines of a Formalist Philosophy of Mathematics Get print bookNo eBook available

- Access Online via Elsevier
- Amazon.com
- Barnes&Noble.com
- Books-A-Million
- IndieBound
- Find in a library
- All sellers »

### Get Textbooks on Google Play

Rent and save from the world's largest eBookstore. Read, highlight, and take notes, across web, tablet, and phone.

Go to Google Play Now »

# Outlines of a Formalist Philosophy of Mathematics

Haskell Brooks Curry Elsevier, 1951 - Electronic books 0 Reviewshttps://books.google.com/books/about/Outlines_of_a_Formalist_Philosophy_of_Ma.html?id=tZHrBQgp1bkC Preview this book »### What people are saying - Write a review

We haven't found any reviews in the usual places.### Selected pages

Title Page

Table of Contents

### Contents

Chapter I Introduction 1 Chapter II The problem of mathematical truth 3 Chapter III Idealistic views of mathematics 5 Chapter IV Definition and structure of a formal system 8 Chapter V Examples of formal systems 17 Chapter VI Ontological discussion of a formal system 28 Chapter VII Reduction of a formal system 34 Chapter VIII Formal systems and syntax 38 Chapter IX Metatheory 50 Chapter X The formalist definition of mathematics 56 Chapter XI Truth and acceptability 59 Chapter XII Mathematics and logic 65 Appendix 70### Other editions - View all

Outlines of a Formalist Philosophy of MathematicsHaskell Brooks Curry

Snippet view - 1951

Outlines of a Formalist Philosophy of Mathematics

Haskell Brooks Curry

Snippet view - 1951

Outlines of a formalist philosophy of mathematics. -Amsterdam: North-Holland ...

Haskell Brooks Curry

Snippet view - 1951

View all »

### Common terms and phrases

abstract acceptability assumptions autonymous axiom schemes beweisbar binary operation binary predicate Carnap category of terms Chapter character Church-Rosser Theorem classical analysis completely formalized consider considerations consistency proof constant constructive defined definition of mathematical derived discussion elementary algebra elementary propositions elementary theorems essentially Example 9 expressions fact finite formal system formalist definition Godel green cheese Hilbert idealistic intuitionism intuitionist intuitive evidence involved let us call linguistic mathe mathematical induction mathematical truth mathematicians matics meaning metaphysical metaproposition mode of speech Moreover morphological nature notions noun number of arguments O-expressions O-language O-sentence O-symbols object language occurs free paper parentheses philosophical PHILOSOPHY OF MATHEMATICS point of view polynomials postulates primitive frame primitive ideas priori quasi-quotes recursive definitions reduction reference regard relation replace representation rules of procedure sense sentence specifications subject matter Subst symbols syntactical syntax language system of logic theory tokens unary variables word### Bibliographic information

Title Outlines of a Formalist Philosophy of Mathematics*Volume 3 of Studies in logic and the foundations of mathematics*Author Haskell Brooks Curry Editor Haskell Brooks Curry Publisher Elsevier, 1951 ISBN 0444533680, 9780444533685     Export Citation BiBTeX EndNote RefMan