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

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
  1. My library
  2. Help
  3. Advanced Book Search
Get print book

No eBook available

My library

Books on Google Play

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 »

From inside the 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 Mathematics
Haskell Brooks Curry
Snippet view - 1951
Outlines of a formalist philosophy of mathematics. -Amsterdam: North-Holland ...
Haskell Brooks Curry
Snippet view - 1951
Outlines of a formalist philosophy of mathematics
Haskell Brooks Curry
Snippet view - 1970

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 &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