Curry H. B.. Remarks on the definition and nature of mathematics. Ditto, 6 pp

Journal of Symbolic Logic 5 (1):26-26 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200047460

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

Remarks on the Definition and Nature of Mathematics.J. C. C. McKinsey & H. B. Curry - 1940 - Journal of Symbolic Logic 5 (1):26.
Remarks on the definition and nature of mathematics.H. B. Curry - 1954 - Dialectica 8 (3):228-233.
Review: H. B. Curry, Remarks on the Definition and Nature of Mathematics. [REVIEW]Alonzo Church - 1957 - Journal of Symbolic Logic 22 (1):85-86.
Curry H. B.. Remarks on the definition and nature of mathematics. Dialectica, vol. 8 , pp. 228–233.Alonzo Church - 1957 - Journal of Symbolic Logic 22 (1):85-86.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
Benjamin A. C.. Some realistic implications of operationalism. Ditto, 4 pp.Williams Donald C.. Designation and empirical certainty. Ditto, 5 pp.Nagel Ernest. Charles S. Peirce, pioneer of modern empiricism. Ditto, 3 pp.Waismann Friedrich. Zu: Ist die Logik eine deduktive Wissenschaft? Erkenntnis, vol. 7 no. 5/6 , pp. 374–375. [REVIEW]Ernest Nagel - 1939 - Journal of Symbolic Logic 4 (4):171-171.
Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.
Curry Haskell B.. Outlines of a formalist philosophy of mathematics. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, VIII + 75 pp. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
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, Outlines of a Formalist Philosophy of Mathematics. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
Wigner’s “Unreasonable Effectiveness of Mathematics”, Revisited.Roland Omnès - 2011 - Foundations of Physics 41 (11):1729-1739.
Relevant first-order logic LP# and Curry’s paradox resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.
Reflections on Mathematics and Aesthetics.John L. Bell - 2015 - Aisthesis: Pratiche, Linguaggi E Saperi Dell’Estetico 8 (1):159-179.
A change of mind?Oliver Curry - unknown

Analytics

Added to PP
2016-06-30

Downloads
15 (#919,495)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references