This website does readability filtering of other pages. All styles, scripts, forms and ads are stripped. If you want your website excluded or have other feedback, use this form.

Outlines of a formalist philosophy of mathematics - Haskell Brooks Curry - Google Books

Search Images Maps Play YouTube News Gmail Drive More » Sign in


  1. My library
  2. Help
  3. Advanced Book Search
Get print book

No 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 Reviews

From inside the book

What people are saying - Write a review

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


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

Other editions - View all

Outlines of a Formalist Philosophy of Mathematics

Limited 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 definition of mathematical derived discussion elementary algebra elementary propositions elementary theorems essentially Example 9 expressions fact find finite first place formal system formalist definition Godel green cheese Hilbert idealistic indefinite infinite 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 prefix primitive frame priori quasi.quotes recursive definitions reduction reference regard relation replace representation rules of procedure sense sentence significance specifications subject matter Subst symbols syntactical system of logic theory tokens unary predicate unspecified 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 / General
Mathematics / History & Philosophy
Mathematics / Logic
Philosophy &nbsp &nbsp Export Citation BiBTeX EndNote RefMan About Google Books - Privacy Policy - Terms of Service - Blog - Information for Publishers - Report an issue - Help - Sitemap - Google Home