Some Aspects of the problem of Mathematical Rigor

Journal of Symbolic Logic 6 (3):100-102 (1941)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268583

Other Versions

No versions found

Links

PhilArchive



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

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

Curry Haskell B.. Some aspects of the problem of mathematical rigor. Bulletin of the American Mathematical Society, vol. 47 , pp. 221–241. [REVIEW]S. C. Kleene - 1941 - Journal of Symbolic Logic 6 (3):100-102.
Curry Haskell B.. The combinatory foundations of mathematical logic.Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Review: Haskell B. Curry, Some Advances in the Combinatory Theory of Quantification. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):52-52.
Curry Haskell B.. The paradox of Kleene and Rosser. Transactions of the American Mathematical Society, vol. 50 , pp. 454–516. [REVIEW]László Kalmár - 1946 - Journal of Symbolic Logic 11 (4):136-137.
Curry Haskell B.. The system LD. [REVIEW]Paul Bernays - 1953 - Journal of Symbolic Logic 18 (3):266-268.
Haskell B. Curry. Foundations of mathematical logic. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, xii + 408 pp. [REVIEW]William Craig - 1973 - Journal of Symbolic Logic 38 (1):149.
Curry Haskell B.. A revision of the fundamental rules of combinatory logic. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
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.
Curry Haskell B.. The elimination theorem when modality is present.Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.

Analytics

Added to PP
2015-02-05

Downloads
14 (#1,287,610)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.
From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.

Add more citations

References found in this work

No references found.

Add more references