Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics [Book Review]

Journal of Symbolic Logic 18 (1):80-81 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266351

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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 Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..
Outlines of a Formalist Philosophy of Mathematics.Lecons de Logique Algebrique.Alan Rose - 1953 - Philosophical Quarterly 3 (12):287.
Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus. [REVIEW]Paul Bernays - 1953 - Journal of Symbolic Logic 18 (3):266-268.
Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
Mathematics, syntactics and logic.Haskell B. Curry - 1953 - Mind 62 (246):172-183.
The undecidability of λK-conversion.Haskell B. Curry - 1969 - Journal of Symbolic Logic 40 (2):10--14.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
Language, metalanguage, and formal system.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.
Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.
Computational Semantics, Type Theory, and Functional Programming.Jan van Eijck - unknown
Review: Paul Bernays, Logical Calculus. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.

Analytics

Added to PP
2013-11-22

Downloads
7 (#1,351,854)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On two problems of Harvey Friedman.Tadeusz Prucnal - 1979 - Studia Logica 38 (3):247 - 262.

Add more citations

References found in this work

No references found.

Add more references