## Books

books.google.comhttps://books.google.com/books/about/Outlines_of_a_formalist_philosophy_of_ma.html?id=zQ1OAQAAIAAJ&utm_source=gb-gplus-shareOutlines of a formalist philosophy of mathematics Get print bookNo eBook available

### 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 North-Holland Pub. Co., 1970 - Mathematics - 75 pages 0 Reviewshttps://books.google.com/books/about/Outlines_of_a_formalist_philosophy_of_ma.html?id=zQ1OAQAAIAAJ### From inside the book

### What people are saying - Write a review

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

Introduction l 1 The problem of mathematical truth 3 Idealistic views of mathematics I I I I 5 Copyright9 other sections not shown

### Other editions - View all

Outlines of a Formalist Philosophy of MathematicsLimited preview - 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

### Common terms and phrases

abstract acceptability autonymous axiom schemes beweisbar binary operation Carnap Chapter character Church’s classical analysis consider considerations consistency proof constant constructive criterion deﬁnition of mathematical derived discussion elementary algebra elementary propositions elementary theorems essentially Example 9 expressions fact ﬁnd ﬁnite ﬁrst place formal system formalist deﬁnition Godel green cheese Hilbert idealistic indeﬁnite inﬁnite intuitionism intuitionist intuitive evidence involved let us call linguistic mathe mathematical induction mathematical truth mathematicians matics meaning metaphysical metaproposition metatheoretic mode of speech Moreover morphological notions noun number of arguments O.expressions O.language O.sentence O.symbols object language occurs free ordinary paper parentheses philosophical PHILOSOPHY OF MATHEMATICS point of view polynomials postulates preﬁx primitive frame priori quasi.quotes recursive deﬁnitions reduction reference regard relation replace representation rules of procedure sense sentence signiﬁcance speciﬁcations subject matter Subst symbols syntactical system of logic theory tokens unary predicate unspeciﬁed variables word### Bibliographic information

Title Outlines of a formalist philosophy of mathematics*Studies in logic and the foundations of mathematics*

*Volume 16 of Studies in Logic*

*Colloquia Mathematica Societatis Janos Bolyai*Author Haskell Brooks Curry Edition reprint Publisher North-Holland Pub. Co., 1970 Original from the University of California Digitized Jul 29, 2011 Length 75 pages Subjects Mathematics › General

Mathematics

Mathematics / General

Mathematics / History & Philosophy

Mathematics / Logic

Philosophy     Export Citation BiBTeX EndNote RefMan