Curry, Haskell B. (Haskell Brooks) 19001982
Overview
Works:  40 works in 257 publications in 8 languages and 3,600 library holdings 

Roles:  Author, Honoree, Contributor, Dedicatee 
Classifications:  QA9, 510.1 
Publication Timeline
.
Most widely held works about
Haskell B Curry
 Haskell B. Curry papers by Haskell B Curry( )
 The fundamental properties of geodesics by Haskell B Curry( )
 Curry, Haskell Brooks. mathematician, educator( )
 Haskell Brooks Curry( )
Most widely held works by
Haskell B Curry
Foundations of mathematical logic by
Haskell B Curry(
Book
)
35 editions published between 1961 and 2012 in English and Russian and held by 935 WorldCat member libraries worldwide
A comprehensive account of the constructive theory of the firstorder predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.From publisher description
35 editions published between 1961 and 2012 in English and Russian and held by 935 WorldCat member libraries worldwide
A comprehensive account of the constructive theory of the firstorder predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.From publisher description
Combinatory logic by
Haskell B Curry(
Book
)
82 editions published between 1958 and 1994 in 4 languages and held by 721 WorldCat member libraries worldwide
Provability, Computability and Reflection
82 editions published between 1958 and 1994 in 4 languages and held by 721 WorldCat member libraries worldwide
Provability, Computability and Reflection
Outlines of a formalist philosophy of mathematics by
Haskell B Curry(
Book
)
44 editions published between 1951 and 1970 in 5 languages and held by 696 WorldCat member libraries worldwide
44 editions published between 1951 and 1970 in 5 languages and held by 696 WorldCat member libraries worldwide
A theory of formal deducibility by
Haskell B Curry(
Book
)
34 editions published between 1950 and 1966 in English and Undetermined and held by 350 WorldCat member libraries worldwide
34 editions published between 1950 and 1966 in English and Undetermined and held by 350 WorldCat member libraries worldwide
To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism(
Book
)
5 editions published in 1980 in English and held by 249 WorldCat member libraries worldwide
5 editions published in 1980 in English and held by 249 WorldCat member libraries worldwide
Leçons de logique algébrique by
Haskell B Curry(
Book
)
14 editions published in 1952 in 3 languages and held by 191 WorldCat member libraries worldwide
14 editions published in 1952 in 3 languages and held by 191 WorldCat member libraries worldwide
Grundlagen der kombinatorischen Logik by
Haskell B Curry(
Book
)
5 editions published in 1930 in German and held by 12 WorldCat member libraries worldwide
5 editions published in 1930 in German and held by 12 WorldCat member libraries worldwide
Combinatory logic(
Book
)
1 edition published in 1958 in English and held by 9 WorldCat member libraries worldwide
1 edition published in 1958 in English and held by 9 WorldCat member libraries worldwide
A study of inverse interpolation of the Eniac by
Haskell B Curry(
Book
)
2 editions published in 1946 in English and held by 5 WorldCat member libraries worldwide
A study is made of methods of using the Eniacto convert a table giving values of two functions x(t, phi), for evenly spaced values of t (time) and phi (angle of departure) into a table giving t for evenly spaced values of x and phi. At the same time there may be additional functions of t and phi to be expressed in terms of x and phi. A basic scheme for doing this is set up and programmed in detail. This scheme contains three additional functions y, z, w. The basic scheme is such as to be readily modified; some modifications are studied and programmed in somewhat less detail than the basic scheme. (Author)
2 editions published in 1946 in English and held by 5 WorldCat member libraries worldwide
A study is made of methods of using the Eniacto convert a table giving values of two functions x(t, phi), for evenly spaced values of t (time) and phi (angle of departure) into a table giving t for evenly spaced values of x and phi. At the same time there may be additional functions of t and phi to be expressed in terms of x and phi. A basic scheme for doing this is set up and programmed in detail. This scheme contains three additional functions y, z, w. The basic scheme is such as to be readily modified; some modifications are studied and programmed in somewhat less detail than the basic scheme. (Author)
Les fondements logiques des mathématiques by
Evert Willem Beth(
Book
)
1 edition published in 1950 in French and held by 3 WorldCat member libraries worldwide
1 edition published in 1950 in French and held by 3 WorldCat member libraries worldwide
Essays on combinatory logic, lambda calculus and formalism(
Book
)
1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide
Combinatory logic v 1 by
Haskell B Curry(
Book
)
2 editions published between 1968 and 1974 in English and held by 2 WorldCat member libraries worldwide
2 editions published between 1968 and 1974 in English and held by 2 WorldCat member libraries worldwide
A theory of formal deducibility by
Haskell B Curry(
)
2 editions published in 1957 in Romanian and English and held by 2 WorldCat member libraries worldwide
2 editions published in 1957 in Romanian and English and held by 2 WorldCat member libraries worldwide
Combinatory logic, LambdaCalculus, and formalism : essays in honour of H. R. Curry(
Book
)
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
Combinatory logic by
Haskell B Curry(
Book
)
1 edition published in 1958 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1958 in English and held by 2 WorldCat member libraries worldwide
On polya frequency functions by
Haskell B Curry(
Book
)
1 edition published in 1965 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1965 in English and held by 2 WorldCat member libraries worldwide
Combinatory logic : Vol. 12 by
Haskell B Curry(
Book
)
in Dutch and held by 2 WorldCat member libraries worldwide
in Dutch and held by 2 WorldCat member libraries worldwide
Studies in Logic and the Foundations of Mathematics, 65 Provability, Computability and Reflection by
Haskell B Curry(
)
1 edition published in 1972 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1972 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Hindley, J. Roger Contributor Editor
 Seldin, J. P. Contributor Editor
 Feys, Robert
 Craig, William 1918 Author of introduction
 Project Euclid
 Seldin, P.
 Seldlin, Jonathan P.
 Schoenberg, I. J.
 Wyatt, Willa A.
 U.S. Army Ballistic Research Laboratory
Useful Links
Associated Subjects
Algebra, Abstract Ballistics Combinatory logic Computer programming Curry, Haskell B.(Haskell Brooks), EducationCurricula Educators ENIAC (Computer) Harvard University Interpolation Logic, Symbolic and mathematical Mathematicians Mathematics MathematicsPhilosophy MathematicsStudy and teaching PennsylvaniaUniversity Park Spline theory United States
Alternative Names
Brooks Curry, Haskell 1900
Curry, H. B.
Curry, H. B. 1900
Curry, H. B. 19001982
Curry, H. B. (Haskell Brooks), 1900
Curry, H. B. (Haskell Brooks), 19001982
Curry, Haskell B.
Curry, Haskell B. 19001982
Curry, Haskell B. (Haskell Brooks), 19001982
Curry, Haskell Brooks
Curry, Haskell Brooks 1900
Curry, Haskell Brooks 19001982
Haskell Brooks Curry
Haskell Brooks Curry USamerikanischer Logiker und Mathematiker
Haskell Curry Amerikaans wiskundige
Haskell Curry amerikansk matematikar
Haskell Curry amerikansk matematiker
Haskell Curry matematico e logico statunitense
Karri, Chaskell B.
Karri, Chaskell B. 19001982
Karri, Haskell B.
Karri, Khaskell B.
Karri, Khaskell B. 19001982
Гаскелл Каррі
Карри, Хаскелл
Карри, Хаскелл Б..
هسکل کاری ریاضیدان آمریکایی
해스켈 커리
ハスケル・カリー
哈斯凱爾加里
Languages
Covers