Abstract
Haskell Brooks Curry died on 1 September 1982 at the age of 81. He will be remembered as one of the founders of mathematical logic in the United States. In particular, he did much to develop combinatory logic, with which his name will always be associated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Church, A. (1932), A set of postulates for the foundation of logic, Ann. of Math. (2) 33, 346–366.
Church, A. (1940), A formulation of the simple theory of types, J. Symbolic Logic 5, 56–68.
Curry, H.B.1 (1930), Grundlagen de kombinatorischen Logik (Inauguraldissertation), Amer. J. Math. 52, 509–536, 789–834.
Curry, H.B. (1934a), Some properties of equality and implication in combinatory logic, Ann. of Math. (2) 35, 849–860.
Curry, H.B. (1934b), Foundations of the theory of abstract sets from the standpoint of combinatory logic (Abstract), Bull. Amer. Math. Soc. 40, 654.
Curry, H.B. (1939), Remarks on the definition and nature of mathematics, J. Unified Science 9, 164–169.
Curry, H.B. (1942a), The inconsistency of certain formal logics, J. Symbolic Logic 7, 115–117.
Curry, H.B. (1942b), Some advances in the combinatory theory of quantification, Proc. Nat. Acad. Sci. U.S.A. 28, 564–569.
Curry, H.B. (1950), A Theory of Formal Deducibility, Notre Dame Math. Lectures No. 6, Notre Dame, Indiana.
Curry, H.B. (1951), Outlines of a Formalist Philosophy of Mathematics, North-Holland, Amsterdam.
Curry, H.B. (1952), Leçons de Logique Algebrique, Gauthier-Villars, Paris and Nauwe-laerts, Louvain.
Curry, H.B. (1960), The deduction theorem in the combinatory theory of restricted generality, Logique et Analyse 3, 15–39.
Curry, H.B. (1961), Basic verifiability in the combinatory theory of restricted generality, In Essays on the Foundations of Mathematics, Magnes Press of Hebrew University, Jerusalem, pp. 165–189.
Curry, H.B. (1963), Foundations of Mathematical Logic, McGraw-Hill, New York.
Curry, H.B. and Feys, R. (1958), Combinatory Logic, Vol. I, North-Holland, Amsterdam.
Curry, H.B., Hindley, J.R., and Seldin, J.P. (1972), Combinatory Logic, Vol. II, North-Holland, Amsterdam.
Curry, H.B., Hindley, J.R., and Seldin, J.P. (1984), Beta strong reduction in combinatory logic: Preliminary report (Abstract), J. Symbolic Logic 49, 688.
Gaber, A.M. (1949), Profile: Dr. Haskell B. Curry, typescript of 8 pages filed by Curry under the date 11 April 1949.
Hindley, J.R. and Seldin, J.P. (eds.) (1980), To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, London.
Kleene, S.C. and Rosser, J.B. (1935), The inconsistency of certain formal logics, Ann. of Math. (2) 36, 630–636.
Reid, C. (1970), Hilbert, Springer-Verlag, New York and Berlin.
Schönfinkel, M. (1924), Über die Bausteine der mathematischen Logik, Math. Ann. 92, 305–316.
Seldin, J.P. (1980), Curry’s program, in Hindley and Seldin, (1980), pp. 3–33.
Whitehead, A.N. and Russell, B. (1910–1913), Principia Mathematica, 3 vols., Cambridge University Press, Cambridge, UK.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Birkhäuser Boston
About this chapter
Cite this chapter
Seldin, J.P. (2008). In Memoriam: Haskell Brooks Curry. In: Drucker, T. (eds) Perspectives on the History of Mathematical Logic. Birkhäuser Boston. https://doi.org/10.1007/978-0-8176-4769-8_12
Download citation
DOI: https://doi.org/10.1007/978-0-8176-4769-8_12
Publisher Name: Birkhäuser Boston
Print ISBN: 978-0-8176-4768-1
Online ISBN: 978-0-8176-4769-8
eBook Packages: Springer Book Archive