SU\G(𝔸)/K·U

Haskell B. Curry

Follow

Generating author description...

All published works
Action Title Year Authors
+ Remarks on the definition and nature of mathematics 1984 Haskell B. Curry
+ ON A POLYNOMIAL REPRESENTATION OF λβ NORMAL FORMS 1978 Haskell B. Curry
+ The consistency of a system of combinatory restricted generality 1973 Haskell B. Curry
+ The Undecidability of λK-Conversion 1969 Haskell B. Curry
+ Addendum to early history of the Association for Symbolic Logic 1963 C. J. Ducasse
Haskell B. Curry
+ PDF Chat Logic as Mathematical Science 1963 Haskell B. Curry
+ Early history of the Association for Symbolic Logic 1962 C. J. Ducasse
Haskell B. Curry
+ Calculuses and Formaly Systems 1960 G. Hasenjaeger
Haskell B. Curry
+ PDF Chat CALCULUSES AND FORMAL SYSTEMS 1958 Haskell B. Curry
+ Philosophische Bemerkungen zu Einigen Problemen der Mathematischen Logik 1956 Haskell B. Curry
Paul Bernays
+ II.—MATHEMATICS, SYNTACTICS AND LOGIC<sup>1</sup> 1953 Haskell B. Curry
+ A new proof of the church–rosser theorem 1952 Haskell B. Curry
+ PDF Chat Note on iterations with convergence of higher degree 1951 Haskell B. Curry
+ Outlines of a Formalist Philosophy of Mathematics 1951 Haskell B. Curry
+ PDF Chat The method of steepest descent for non-linear minimization problems 1944 Haskell B. Curry
+ A Formalization of Recursive Arithmetic 1941 Haskell B. Curry
+ PDF Chat Some aspects of the problem of mathematical rigor 1941 Haskell B. Curry
Common Coauthors
Coauthor Papers Together
C. J. Ducasse 2
G. Hasenjaeger 1
Paul Bernays 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ λ-definability and recursiveness 1936 S. C. Kleene
 1
+ The Elements of Mathematical Logic. 1952 Ernest Nagel
P. C. Rosenbloom
 1
+ Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I 2006 Kurt Gödel
 1
+ Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections. 1970 Jonathan P. Seldin
 1
+ An Unsolvable Problem of Elementary Number Theory 1936 Alonzo Church
 1
+ Outlines of a Formalist Philosophy of Mathematics 1951 Haskell B. Curry
 1