Outlines of a formalist philosophy of mathematics

Amsterdam,: North-Holland Pub. Co. (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1958, 1970

Call number

QA9.C86 1970

ISBN(s)

072042206X

DOI

10.2307/2266351

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
Haskell B. Curry: Outlines of a formalist philosophy of mathematics.A. Wittenberg - 1953 - Dialectica 7 (1):84-89.
Mathematical logic. "Outlines of a formalist philosophy of mathematics." By Haskell B. Curry. "On the mathematics of algebra." By Abraham Robinson: Essay. [REVIEW]R. L. Goodstein - 1952 - British Journal for the Philosophy of Science 3 ([9/12]):197.
Haskell Curry: Outlines of a formalist philosophy. [REVIEW]A. Virieux-Reymond - 1956 - Studia Philosophica 16:264.
Curry Haskell B.. A formalization of recursive arithmetic. American journal of mathematics, vol. 63 , pp. 263–282.Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (1):42-42.
Haskell B. Curry and Robert Feys. Combinatory logic. Volume I. With two sections by William Craig. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, xvi + 417 pp. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Curry’s Critique of the Syntactic Concept of Formal System and Methodological Autonomy for Pure Mathematics.Aaron Lercher - forthcoming - Filozofia Nauki:1-15.

Analytics

Added to PP
2009-01-28

Downloads
59 (#362,795)

6 months
7 (#710,381)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Platonism in Metaphysics.Markn D. Balaguer - 2016 - Stanford Encyclopedia of Philosophy 1 (1):1.
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.
Fictionalism in the philosophy of mathematics.Mark Balaguer - 2008 - Stanford Encyclopedia of Philosophy.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references